TY  - JOUR
AU  - Schaffer, Kim
AU  - Voas, Jeffrey
C2  - Computer (IEEE Computer)
DA  - 2016-08-23
LA  - en
M1  - 49
PB  - Computer (IEEE Computer)
PY  - 2016
TI  - Whatever Happened to Formal Methods for Security?
UR  - https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=920593
ER  -