TY  - RPRT
TI  - Technology Transfer Challenges for High-Assurance Software Engineering Tools
AU  - John Penix
AU  - Lawrence Z Markosian
PY  - 2003
UR  - https://ntrs.nasa.gov/citations/20030054511
ID  - 20030054511
ER  -