@misc{indiciae055fe3bc7a24,
  title = {Talking Points on Reducing Software Vulnerabilities: Formal Methods},
  author = {Doyle, Richard and Joshi, Rajeev and Havelund, Klaus},
  year = {2016},
  url = {https://ntrs.nasa.gov/citations/20190033794},
  note = {Source identifier: 20190033794}
}