TY  - RPRT
TI  - Talking Points on Reducing Software Vulnerabilities: Formal Methods
AU  - Doyle, Richard
AU  - Joshi, Rajeev
AU  - Havelund, Klaus
PY  - 2016
UR  - https://ntrs.nasa.gov/citations/20190033794
ID  - 20190033794
ER  -