Bubeník M. FORMÁLNÍ METODY VE VÝVOJI SOFTWARU BEZPEČNOSTNĚ KRITICKÉHO SYSTÉMU. PC [Internet]. 26. duben 2019 [citován 22. listopad 2024];14(1):21-7. Dostupné z: https://pernerscontacts.upce.cz/index.php/perner/article/view/385