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