TY  - RPRT
TI  - Program Model Checking: A Practitioner's Guide
AU  - Pressburger, Thomas T.
AU  - Mansouri-Samani, Masoud
AU  - Mehlitz, Peter C.
AU  - Pasareanu, Corina S.
AU  - Markosian, Lawrence Z.
AU  - Penix, John J.
AU  - Brat, Guillaume P.
AU  - Visser, Willem C.
PY  - 2008
UR  - https://ntrs.nasa.gov/citations/20080015887
ID  - 20080015887
ER  -