TY  - RPRT
TI  - Software development for safety-critical medical applications
AU  - Knight, John C.
PY  - 1992
UR  - https://ntrs.nasa.gov/citations/19950007757
ID  - 19950007757
ER  -