Publications

Formal Verification - Is it real enough?

• • Yaron Wolfsthal
  • Rebecca M. Gott
• 2005
• DAC 2005