Ověřování temporálních vlastností konečných běhů programů – Petra Sečkařová

SEČKAŘOVÁ, Petra. <i>Ověřování temporálních vlastností konečných běhů programů</i>. Online. Diplomová práce. Brno: Vysoké učení technické v Brně. 2019. Dostupné z: https://theses.cz/id/7h2his/.

SEČKAŘOVÁ, Petra. Ověřování temporálních vlastností konečných běhů programů. Online. Diplomová práce. Brno: Vysoké učení technické v Brně. 2019. Dostupné z: https://theses.cz/id/7h2his/.

@MastersThesis{Seckarova2019thesis,
AUTHOR = "Sečkařová, Petra",
TITLE = "Ověřování temporálních vlastností konečných běhů programů [online]",
YEAR = "2019 [cit. 2024-11-16]",
TYPE = "Diplomová práce",
SCHOOL = "Vysoké učení technické v BrněBrno",
NOTE = "SUPERVISOR: ",
URL = "https://theses.cz/id/7h2his/",
}

@MastersThesis{Seckarova2019thesis,
AUTHOR = {Sečkařová, Petra},
TITLE = {Ověřování temporálních vlastností konečných běhů programů},
YEAR = {2019},
TYPE = {Diplomová práce},
INSTITUTION = {Vysoké učení technické v Brně},
LOCATION = {Brno},
SUPERVISOR = {},
URL = {https://theses.cz/id/7h2his/},
URL_DATE = {2024-11-16},
}

{{Citace kvalifikační práce
 | příjmení = Sečkařová
 | jméno = Petra
 | instituce = Vysoké učení technické v Brně
 | titul = Ověřování temporálních vlastností konečných běhů programů
 | url = https://theses.cz/id/7h2his/
 | typ práce = Diplomová práce
 | vedoucí = 
 | rok = 2019
 | počet stran =
 | strany =
 | citace = 2024-11-16
 | poznámka =
 | jazyk = 
}}