Téma disertační práce

Školitel:Vojnar Tomáš, prof. Ing., Ph.D.
Téma:Verifikace programů s dynamickými datovými strukturami s využitím jejich opakující se struktury
Zahájení v ak.r.:2003/2004
Obhajoba disertace:2009-04-03
Název disertace:Automatická verifikace programů pracujících s dynamickými datovými strukturami
Charakteristika řešeného problému:

Součást výzkumného projektu:

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