TY  - RPRT
TI  - Automated Theorem Proving in High-Quality Software Design
AU  - Schumann, Johann
AU  - Swanson, Keith
PY  - 2001
UR  - https://ntrs.nasa.gov/citations/20010084145
ID  - 20010084145
ER  -