TY  - RPRT
TI  - Abstraction and Assume-Guarantee Reasoning for Automated Software Verification
AU  - Chaki, S.
AU  - Clarke, E.
AU  - Giannakopoulou, D.
AU  - Pasareanu, C. S.
PY  - 2004
UR  - https://ntrs.nasa.gov/citations/20050185529
ID  - 20050185529
ER  -