TY  - RPRT
TI  - Interface Generation and Compositional Verification in JavaPathfinder
AU  - Giannakopoulou, Dimitra
AU  - Pasareanu, Corina
PY  - 2009
UR  - https://ntrs.nasa.gov/citations/20090036810
ID  - 20090036810
ER  -