Dimitra Giannakopoulou, Corina S. Pasareanu, Jamieson M. Cobleigh. Assume-Guarantee Verification of Source Code with Design-Level Assumptions. In 26th International Conference on Software Engineering (ICSE 2004), 23-28 May 2004, Edinburgh, United Kingdom. pages 211-220, IEEE Computer Society, 2004. [doi]
Abstract is missing.