@article{218096,
  author = {Kim Schaffer and Jeffrey Voas},
  title = {Whatever Happened to Formal Methods for Security?},
  year = {2016},
  number = {49},
  month = {2016-08-23},
  publisher = {Computer (IEEE Computer)},
  url = {https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=920593},
  language = {en},
}