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