Verifikácia konkurentných programov napísaných v jazyku C
Mészáros Martin ; E  Fogel Jaroslav (Thesis advisor) ; E200
Bratislava : STU v Bratislave FEI, 2011 . - 64 s
Aplikovaná informatika Applied Infromatics verifikácia projektového plánu
http://is.stuba.sk/zp/portal_zp.pl?podrobnosti=71816
diplomová práca