Theses on the same topic (having an identical keyword):
CKeywords ordered alphabetically | Keywords ordered by occurrence rate
Exploration of formal methods and their applicability in verification of multiprecision arithmetic libraries
(Himanshu Kumar Haran)2017, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/iqqhj/ | Informatika / Bezpečnost informačních technologií (angl.) | Theses on a related topic
Compiling Applications for Analysis with DIVINE
(Zuzana Baranová)2019, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/wsm31/ | Aplikovaná informatika / | Theses on a related topic