Topic of PhD thesis

Advisor:Vojnar Tomáš, prof. Ing., Ph.D.
Topic:Verification of Programs with Complex Dynamic Data Structures Using Their Repeating Structure
Start:2003/2004
Date of Defense:2009-04-03
Title of Dissertation:Automatic Verification of Programs Working with Dynamic Data Structures
PhD thesis subject:

Part of research project:

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