Assume-Guarantee Verification of Source Code with Design-Level Assumptions. Giannakopoulou, D., Pasareanu, C. S., & Cobleigh, J. M. In Finkelstein, A., Estublier, J., & Rosenblum, D. S., editors, ICSE, pages 211-220, 2004. IEEE Computer Society.
Assume-Guarantee Verification of Source Code with Design-Level Assumptions. [link]Link  Assume-Guarantee Verification of Source Code with Design-Level Assumptions. [link]Paper  bibtex   
@inproceedings{conf/icse/GiannakopoulouPC04,
  added-at = {2016-05-25T00:00:00.000+0200},
  author = {Giannakopoulou, Dimitra and Pasareanu, Corina S. and Cobleigh, Jamieson M.},
  biburl = {https://www.bibsonomy.org/bibtex/22042d3328d43d6d15b7576c7f7c6bbd6/dblp},
  booktitle = {ICSE},
  crossref = {conf/icse/2004},
  editor = {Finkelstein, Anthony and Estublier, Jacky and Rosenblum, David S.},
  ee = {http://dl.acm.org/citation.cfm?id=999426},
  interhash = {9c473c57df4a9a11d49e8465baa6f4de},
  intrahash = {2042d3328d43d6d15b7576c7f7c6bbd6},
  isbn = {0-7695-2163-0},
  keywords = {dblp},
  pages = {211-220},
  publisher = {IEEE Computer Society},
  timestamp = {2016-05-26T12:03:03.000+0200},
  title = {Assume-Guarantee Verification of Source Code with Design-Level Assumptions.},
  url = {http://dblp.uni-trier.de/db/conf/icse/icse2004.html#GiannakopoulouPC04},
  year = 2004
}
Downloads: 0