TY  - RPRT
TI  - Formal methods and software reliability
AU  - Holzmann, Gerard J.
PY  - 2004
UR  - https://ntrs.nasa.gov/citations/20060043573
ID  - 20060043573
ER  -