@book { author = {Bartha Tamás, Majzik István}, title = {Biztonságra tervezés és biztonságigazolás formális módszerei}, year = {2019}, publisher = {Akadémiai Kiadó}, isbn = {978 963 454 291 9}, doi = {10.1556/9789634542919}, URL = {https://mersz.hu/kiadvany/534} }