TY  - RPRT
TI  - Propel: Tools and Methods for Practical Source Code Model Checking
AU  - Mansouri-Samani, Massoud
AU  - Mehlitz, Peter
AU  - Markosian, Lawrence
AU  - OMalley, Owen
AU  - Martin, Dale
AU  - Moore, Lantz
AU  - Penix, John
AU  - Visser, Willem
PY  - 2003
UR  - https://ntrs.nasa.gov/citations/20030054563
ID  - 20030054563
ER  -