Od dôkazov formálnych predpokladav k vykonateľným implementáciam
Autor práce
František Silváši
Technická univerzita v Košiciach, Fakulta elektrotechniky a informatiky
Vedoucí práce
doc. Ing. Martin Tomášek, Ph.D.