TY  - RPRT
TI  - Verification of Software: The Textbook and Real Problems
AU  - Carlson, Jan-Renee
PY  - 2006
UR  - https://ntrs.nasa.gov/citations/20080010138
ID  - 20080010138
ER  -