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:

Vaše IPv4 adresa: 54.225.55.174
Přepnout na IPv6 spojení

DNSSEC [dnssec]