Topic of PhD thesis

Advisor:Vojnar Tomáš, prof. Ing., Ph.D.
Student:Erlebach Pavel, Ing.
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: