TY  - RPRT
TI  - Formal Assurance Arguments: A Solution In Search of a Problem?
AU  - Graydon, Patrick J.
PY  - 2015
UR  - https://ntrs.nasa.gov/citations/20160006364
ID  - 20160006364
ER  -