TY  - RPRT
TI  - Assume-Guarantee Verification of Source Code with Design-Level Assumptions
AU  - Giannakopoulou, Dimitra
AU  - Pasareanu, Corina S.
AU  - Cobleigh, Jamieson M.
PY  - 2004
UR  - https://ntrs.nasa.gov/citations/20040068289
ID  - 20040068289
ER  -