ŠIMÁČEK, Jiří. \textit{Verifikace Programů se složitými datovými strukturami}. Online. Disertační práce. Brno: Vysoké učení technické v Brně. 2016. Dostupné z: https://theses.cz/id/y5citx/.
ŠIMÁČEK, Jiří. <i>Verifikace Programů se složitými datovými strukturami</i>. Online. Disertační práce. Brno: Vysoké učení technické v Brně. 2016. Dostupné z: https://theses.cz/id/y5citx/.
ŠIMÁČEK, Jiří. Verifikace Programů se složitými datovými strukturami. Online. Disertační práce. Brno: Vysoké učení technické v Brně. 2016. Dostupné z: https://theses.cz/id/y5citx/.
@PhdThesis{Simacek2016thesis,
AUTHOR = "Šimáček, Jiří",
TITLE = "Verifikace Programů se složitými datovými strukturami [online]",
YEAR = "2016 [cit. 2024-09-27]",
TYPE = "Disertační práce",
SCHOOL = "Vysoké učení technické v BrněBrno",
NOTE = "SUPERVISOR: ",
URL = "https://theses.cz/id/y5citx/",
}
@PhdThesis{Simacek2016thesis,
AUTHOR = {Šimáček, Jiří},
TITLE = {Verifikace Programů se složitými datovými strukturami},
YEAR = {2016},
TYPE = {Disertační práce},
INSTITUTION = {Vysoké učení technické v Brně},
LOCATION = {Brno},
SUPERVISOR = {},
URL = {https://theses.cz/id/y5citx/},
URL_DATE = {2024-09-27},
}
{{Citace kvalifikační práce
| příjmení = Šimáček
| jméno = Jiří
| instituce = Vysoké učení technické v Brně
| titul = Verifikace Programů se složitými datovými strukturami
| url = https://theses.cz/id/y5citx/
| typ práce = Disertační práce
| vedoucí =
| rok = 2016
| počet stran =
| strany =
| citace = 2024-09-27
| poznámka =
| jazyk =
}}