TY  - RPRT
TI  - Epistemology, software engineering and formal methods
AU  - Holloway, C. Michael
PY  - 1994
UR  - https://ntrs.nasa.gov/citations/19950010065
ID  - 19950010065
ER  -