Publications

Easier and more informative vacuity checks

• • Hana Chockler
  • Ofer Strichman
• 2007
• MEMOCODE 2007