Publications

On the effective deployment of functional formal verification

• • Yael Abarbanel-Vinov
  • Neta Aizenbud-Reshef
  • et al.
• 2001
• Formal Methods in System Design