You assume, we guarantee: methodology and case studies (1998)

by T A Henzinger, S Qadeer, S K Rajamani
Venue:In CAV 98: Computer-aided Verification. Lecture Notes in Computer Science 1427, SpringerVerlag