Od dôkazov formálnych predpokladav k vykonateľným implementáciam

Od dôkazov formálnych predpokladav k vykonateľným implementáciam

Author

František Silváši

Supervisor

doc. Ing. Martin Tomášek, Ph.D.

About the project

Abstract Thesis

Year

2016

Share