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
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:
Přepnout na IPv6 spojení

DNSSEC [dnssec]