Publications

Verification of software changes with ExpliSAT

• • Hana Chockler
  • Sitvanit Ruah
• 2012
• WHTSU 2012