Publications

1 result for Iris Reuveni

On the effective deployment of functional formal verification
- - Yael Abarbanel-Vinov
  - Neta Aizenbud-Reshef
  - et al.
- 2001
- Formal Methods in System Design