@misc{indiciae58ddf72412ed,
  title = {A Survey of Practical Formal Methods for Security},
  author = {Tomas Kulik and Brijesh Dongol and Peter Gorm Larsen and Hugo Daniel Macedo and Steve Schneider and Peter Würtz Vinther Tran-Jørgensen and Jim Woodcock},
  year = {2021},
  url = {https://arxiv.org/abs/2109.01362},
  note = {Source identifier: 2109.01362}
}