TY  - RPRT
TI  - Generalized implementation of software safety policies
AU  - Knight, John C.
AU  - Wika, Kevin G.
PY  - 1994
UR  - https://ntrs.nasa.gov/citations/19950024828
ID  - 19950024828
ER  -