HORKÝ, Jakub. \textit{Integrace formálních technik do procesu verifikace procesoru RISC-V}. Online. Bakalářská práce. Brno: Vysoké učení technické v Brně. 2020. Dostupné z: https://theses.cz/id/06zjam/.
HORKÝ, Jakub. <i>Integrace formálních technik do procesu verifikace procesoru RISC-V</i>. Online. Bakalářská práce. Brno: Vysoké učení technické v Brně. 2020. Dostupné z: https://theses.cz/id/06zjam/.
HORKÝ, Jakub. Integrace formálních technik do procesu verifikace procesoru RISC-V. Online. Bakalářská práce. Brno: Vysoké učení technické v Brně. 2020. Dostupné z: https://theses.cz/id/06zjam/.
@misc{Horky2020thesis,
AUTHOR = "Horký, Jakub",
TITLE = "Integrace formálních technik do procesu verifikace procesoru RISC-V [online]",
YEAR = "2020 [cit. 2024-07-24]",
TYPE = "Bakalářská práce",
SCHOOL = "Vysoké učení technické v BrněBrno",
NOTE = "SUPERVISOR: ",
URL = "https://theses.cz/id/06zjam/",
}
@misc{Horky2020thesis,
AUTHOR = {Horký, Jakub},
TITLE = {Integrace formálních technik do procesu verifikace procesoru RISC-V},
YEAR = {2020},
TYPE = {Bakalářská práce},
INSTITUTION = {Vysoké učení technické v Brně},
LOCATION = {Brno},
SUPERVISOR = {},
URL = {https://theses.cz/id/06zjam/},
URL_DATE = {2024-07-24},
}
{{Citace kvalifikační práce
| příjmení = Horký
| jméno = Jakub
| instituce = Vysoké učení technické v Brně
| titul = Integrace formálních technik do procesu verifikace procesoru RISC-V
| url = https://theses.cz/id/06zjam/
| typ práce = Bakalářská práce
| vedoucí =
| rok = 2020
| počet stran =
| strany =
| citace = 2024-07-24
| poznámka =
| jazyk =
}}