%0 Book %A Bartha Tamás, Majzik István %T Biztonságra tervezés és biztonságigazolás formális módszerei %B %D 2019 %R 10.1556/9789634542919 %@ 978 963 454 291 9 %U https://mersz.hu/kiadvany/534