Detail práce

Verification of programs with complex data structures

Disertační práce Student: Rogalewicz Adam Akademický rok: 2007/2008 Vedoucí: Vojnar Tomáš, prof. Ing., Ph.D.
Název česky
Verifikace programů se složitými datovými strukturami
Jazyk práce
anglický
Abstrakt
Klíčová slova
Ústav
Ústav inteligentních systémů FIT VUT v Brně
Studijní program
Informační technologie, obor Informační technologie
Soubory
Stav
obhájeno
Obhajoba
28. listopadu 2007
Citace
ROGALEWICZ, Adam. Verification of programs with complex data structures. Brno, 2007. Disertační práce. Vysoké učení technické v Brně, Fakulta informačních technologií. 2007-11-28. Vedoucí práce Vojnar Tomáš. Dostupné z: https://www.fit.vut.cz/study/phd-thesis/161/
BibTeX 
@phdthesis{FITPT161,
    author = "Adam Rogalewicz",
    type = "Diserta\v{c}n\'{i} pr\'{a}ce",
    title = "Verification of programs with complex data structures",
    school = "Vysok\'{e} u\v{c}en\'{i} technick\'{e} v Brn\v{e}, Fakulta informa\v{c}n\'{i}ch technologi\'{i}",
    year = 2007,
    location = "Brno, CZ",
    language = "english",
    url = "https://www.fit.vut.cz/study/phd-thesis/161/"
}

Závěrečné práce

Nahoru