TY - BOOK AU - Bartha, Tamás AU - Majzik, István PY - 2019 T1 - Biztonságra tervezés és biztonságigazolás formális módszerei T2 - PB - Akadémiai Kiadó DO - 10.1556/9789634542919 SN - 978 963 454 291 9 UR - https://mersz.hu/kiadvany/534