TY  - RPRT
TI  - Java PathFinder: A Translator From Java to Promela
AU  - Havelund, Klaus
PY  - 1999
UR  - https://ntrs.nasa.gov/citations/20000102373
ID  - 20000102373
ER  -