TY  - RPRT
TI  - Model Checking JAVA Programs Using Java Pathfinder
AU  - Havelund, Klaus
AU  - Pressburger, Thomas
PY  - 2000
UR  - https://ntrs.nasa.gov/citations/20000068918
ID  - 20000068918
ER  -