Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/icse/GiannakopoulouPC04
AU - Giannakopoulou, Dimitra
AU - Pasareanu, Corina S.
AU - Cobleigh, Jamieson M.
TI - Assume-Guarantee Verification of Source Code with Design-Level Assumptions.
BT - 26th International Conference on Software Engineering (ICSE 2004), 23-28 May 2004, Edinburgh, United Kingdom
SP - 211
EP - 220
PY - 2004//
DO - 10.1109/ICSE.2004.1317443
UR - https://doi.org/10.1109/ICSE.2004.1317443
UR - https://doi.ieeecomputersociety.org/10.1109/ICSE.2004.1317443
UR - http://dl.acm.org/citation.cfm?id=999426
ER -
