TY  - RPRT
TI  - Model-driven software verification
AU  - Holzmann, Gerard J.
AU  - Joshi, Rajeev
PY  - 2003
UR  - https://ntrs.nasa.gov/citations/20060043214
ID  - 20060043214
ER  -