Práce na stejné téma (mají shodná klíčová slova):
witness validationKlíčová slova abecedně | Klíčová slova dle četnosti
Klee-Based Error Witness Checker
(Paulína Ayaziová)2021, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/rnv19/ | Informatika / Umělá inteligence a zpracování přirozeného jazyka | Práce na příbuzné téma
Validation of Violation Witnesses in Software Verification
(Paulína Ayaziová)2024, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/zuyyc/ | Teoretická informatika / Formální analýza počítačových systémů | Práce na příbuzné téma
Dokazovanie v trestnom konaní
(Jaroslav Sloboda)2010, Bakalářská práce, Právnická fakulta / Masarykova univerzita
• https://is.muni.cz/th/f1z9l/ | Právní specializace / Teorie a praxe přípravného řízení trestního | Práce na příbuzné téma