Od dôkazov formálnych predpokladav k vykonateľným implementáciam
Autor práce
František Silváši
Vedúci práce
doc. Ing. Martin Tomášek, Ph.D.