TY - JOUR AU - Kim Schaffer AU - Jeffrey Voas 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 -