Topic of PhD thesis

Advisor:Vojnar Tomáš, prof. Ing., Ph.D.
Topic:Verification of Programs with Complex Data Structures Using the Automata Theory
Start:2003/2004
Date of Defense:2007-11-28
Title of Dissertation:Verification of programs with complex data structures
PhD thesis subject:

Part of research project:

Vaše IPv4 adresa: 3.226.251.81
Přepnout na https