Určení spolehlivosti výsledků statické analýzy pomocí strojového učení
Autor práce
Tomáš Beránek
Vysoké učení technické v Brně, Fakulta informačních technologií
Vedúci práce
prof. Ing. Tomáš Vojnar, Ph.D.