Software Verification: Roles and Challenges for Automatic Decision Procedures.

Aarti Gupta

Browse the full CADE paper archive.