TY  - RPRT
TI  - Why Engineers Should Consider Formal Methods
AU  - Holloway, C. Michael
PY  - 1997
UR  - https://ntrs.nasa.gov/citations/20040105661
ID  - 20040105661
ER  -