%0 Journal Article %1 journals/corr/abs-2109-01362 %A Kulik, Tomas %A Dongol, Brijesh %A Larsen, Peter Gorm %A Macedo, Hugo Daniel %A Schneider, Steve %A Tran-Jørgensen, Peter Würtz Vinther %A Woodcock, Jim %D 2021 %J CoRR %K dblp %T A Survey of Practical Formal Methods for Security. %U http://dblp.uni-trier.de/db/journals/corr/corr2109.html#abs-2109-01362 %V abs/2109.01362

@article{journals/corr/abs-2109-01362, added-at = {2023-02-17T00:00:00.000+0100}, author = {Kulik, Tomas and Dongol, Brijesh and Larsen, Peter Gorm and Macedo, Hugo Daniel and Schneider, Steve and Tran-Jørgensen, Peter Würtz Vinther and Woodcock, Jim}, biburl = {https://www.bibsonomy.org/bibtex/2ee84c5faa74b0a0a93663dc9a62753e1/dblp}, ee = {https://arxiv.org/abs/2109.01362}, interhash = {8afe7942f58bb6fb9323f0478cf68ab9}, intrahash = {ee84c5faa74b0a0a93663dc9a62753e1}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-09T00:01:18.000+0200}, title = {A Survey of Practical Formal Methods for Security.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2109.html#abs-2109-01362}, volume = {abs/2109.01362}, year = 2021 }