ŠULEK, Jakub. \textit{Verifikace ASIP založena na formálních tvrzeních}. Online. Diplomová práce. Brno: Vysoké učení technické v Brně. 2020. Dostupné z: https://theses.cz/id/vm2enu/.
ŠULEK, Jakub. <i>Verifikace ASIP založena na formálních tvrzeních</i>. Online. Diplomová práce. Brno: Vysoké učení technické v Brně. 2020. Dostupné z: https://theses.cz/id/vm2enu/.
ŠULEK, Jakub. Verifikace ASIP založena na formálních tvrzeních. Online. Diplomová práce. Brno: Vysoké učení technické v Brně. 2020. Dostupné z: https://theses.cz/id/vm2enu/.
@MastersThesis{Sulek2020thesis,
AUTHOR = "Šulek, Jakub",
TITLE = "Verifikace ASIP založena na formálních tvrzeních [online]",
YEAR = "2020 [cit. 2024-08-31]",
TYPE = "Diplomová práce",
SCHOOL = "Vysoké učení technické v BrněBrno",
NOTE = "SUPERVISOR: ",
URL = "https://theses.cz/id/vm2enu/",
}
@MastersThesis{Sulek2020thesis,
AUTHOR = {Šulek, Jakub},
TITLE = {Verifikace ASIP založena na formálních tvrzeních},
YEAR = {2020},
TYPE = {Diplomová práce},
INSTITUTION = {Vysoké učení technické v Brně},
LOCATION = {Brno},
SUPERVISOR = {},
URL = {https://theses.cz/id/vm2enu/},
URL_DATE = {2024-08-31},
}
{{Citace kvalifikační práce
| příjmení = Šulek
| jméno = Jakub
| instituce = Vysoké učení technické v Brně
| titul = Verifikace ASIP založena na formálních tvrzeních
| url = https://theses.cz/id/vm2enu/
| typ práce = Diplomová práce
| vedoucí =
| rok = 2020
| počet stran =
| strany =
| citace = 2024-08-31
| poznámka =
| jazyk =
}}