Java Automated Deductive Verification in Practice: Lessons from Industrial Proof-Based Projects.

David R. Cok

Browse the full ISoLA paper archive.