TY  - RPRT
TI  - Model Checker for Java Programs
AU  - Visser, Willem
PY  - 2007
UR  - https://ntrs.nasa.gov/citations/20100010932
ID  - 20100010932
ER  -