TY  - RPRT
TI  - Why are Formal Methods Not Used More Widely?
AU  - Knight, John C.
AU  - DeJong, Colleen L.
AU  - Gibble, Matthew S.
AU  - Nakano, Luis G.
PY  - 1997
UR  - https://ntrs.nasa.gov/citations/19970029196
ID  - 19970029196
ER  -