Michael Emmi, Dimitra Giannakopoulou, Corina S. Pasareanu
Assume-Guarantee Verification for Interface Automata
FM, 2008.
@inproceedings{FM-2008-EmmiGP, author = "Michael Emmi and Dimitra Giannakopoulou and Corina S. Pasareanu", booktitle = "{Proceedings of the 15th International Symposium of Formal Methods}", doi = "10.1007/978-3-540-68237-0_10", isbn = "978-3-540-68235-6", pages = "116--131", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Assume-Guarantee Verification for Interface Automata}", volume = 5014, year = 2008, }