Bubeník, M. (2019) „FORMÁLNÍ METODY VE VÝVOJI SOFTWARU BEZPEČNOSTNĚ KRITICKÉHO SYSTÉMU", Perner’s Contacts, 14(1), s. 21–27. Dostupné z: https://pernerscontacts.upce.cz/index.php/perner/article/view/385 (Viděno: 25 duben 2024).