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.