Verifikácia konkurentných programov napísaných v jazyku JAVA
Šajtlava Igor ; E  Fogel Jaroslav (Thesis advisor) ; E200
Bratislava : STU v Bratislave FEI, 2012 . - 99 s
Applied Infromatics model checking verifikácia
http://is.stuba.sk/zp/portal_zp.pl?podrobnosti=71828
diplomová práca