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

by Thomas A Henzinger, Shaz Qadeer, Sriram K Rajamani
Venue:In Proceedings of the Tenth International Conference on Computer-aided Verification (CAV 1998), Lecture Notes in Computer Science 1427