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. 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
{"_id":"p6WNcoL2MPj2rSypX","bibbaseid":"giannakopoulou-pasareanu-cobleigh-assumeguaranteeverificationofsourcecodewithdesignlevelassumptions-2004","authorIDs":[],"author_short":["Giannakopoulou, D.","Pasareanu, C. S.","Cobleigh, J. M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2016-05-25T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Giannakopoulou"],"firstnames":["Dimitra"],"suffixes":[]},{"propositions":[],"lastnames":["Pasareanu"],"firstnames":["Corina","S."],"suffixes":[]},{"propositions":[],"lastnames":["Cobleigh"],"firstnames":["Jamieson","M."],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/22042d3328d43d6d15b7576c7f7c6bbd6/dblp","booktitle":"ICSE","crossref":"conf/icse/2004","editor":[{"propositions":[],"lastnames":["Finkelstein"],"firstnames":["Anthony"],"suffixes":[]},{"propositions":[],"lastnames":["Estublier"],"firstnames":["Jacky"],"suffixes":[]},{"propositions":[],"lastnames":["Rosenblum"],"firstnames":["David","S."],"suffixes":[]}],"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","bibtex":"@inproceedings{conf/icse/GiannakopoulouPC04,\n added-at = {2016-05-25T00:00:00.000+0200},\n author = {Giannakopoulou, Dimitra and Pasareanu, Corina S. and Cobleigh, Jamieson M.},\n biburl = {https://www.bibsonomy.org/bibtex/22042d3328d43d6d15b7576c7f7c6bbd6/dblp},\n booktitle = {ICSE},\n crossref = {conf/icse/2004},\n editor = {Finkelstein, Anthony and Estublier, Jacky and Rosenblum, David S.},\n ee = {http://dl.acm.org/citation.cfm?id=999426},\n interhash = {9c473c57df4a9a11d49e8465baa6f4de},\n intrahash = {2042d3328d43d6d15b7576c7f7c6bbd6},\n isbn = {0-7695-2163-0},\n keywords = {dblp},\n pages = {211-220},\n publisher = {IEEE Computer Society},\n timestamp = {2016-05-26T12:03:03.000+0200},\n title = {Assume-Guarantee Verification of Source Code with Design-Level Assumptions.},\n url = {http://dblp.uni-trier.de/db/conf/icse/icse2004.html#GiannakopoulouPC04},\n year = 2004\n}\n\n","author_short":["Giannakopoulou, D.","Pasareanu, C. S.","Cobleigh, J. M."],"editor_short":["Finkelstein, A.","Estublier, J.","Rosenblum, D. S."],"key":"conf/icse/GiannakopoulouPC04","id":"conf/icse/GiannakopoulouPC04","bibbaseid":"giannakopoulou-pasareanu-cobleigh-assumeguaranteeverificationofsourcecodewithdesignlevelassumptions-2004","role":"author","urls":{"Link":"http://dl.acm.org/citation.cfm?id=999426","Paper":"http://dblp.uni-trier.de/db/conf/icse/icse2004.html#GiannakopoulouPC04"},"keyword":["dblp"],"downloads":0},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/corina?items=1000","creationDate":"2019-05-18T19:26:18.376Z","downloads":0,"keywords":["dblp"],"search_terms":["assume","guarantee","verification","source","code","design","level","assumptions","giannakopoulou","pasareanu","cobleigh"],"title":"Assume-Guarantee Verification of Source Code with Design-Level Assumptions.","year":2004,"dataSources":["nk4Sfi2ddzBtdLpRN"]}