TY  - RPRT
TI  - Learning Assumptions for Compositional Verification
AU  - Cobleigh, Jamieson M.
AU  - Giannakopoulou, Dimitra
AU  - Pasareanu, Corina
AU  - Clancy, Daniel
PY  - 2002
UR  - https://ntrs.nasa.gov/citations/20030017771
ID  - 20030017771
ER  -