@article{216866,
  author = {Jeffrey Voas and Kim Schaffer},
  title = {Insights on Formal Methods of Cybersecurity},
  year = {2016},
  number = {49},
  month = {2016-05-27},
  publisher = {Computer (IEEE Computer)},
  doi = {https://doi.org/10.1109/MC.2016.131},
  language = {en},
}