Topic of PhD thesis

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