TY  - RPRT
TI  - Techniques and Lessons from Software Verification
AU  - Holzman, Gerald
PY  - 2012
UR  - https://ntrs.nasa.gov/citations/20150005658
ID  - 20150005658
ER  -