CHARVÁT, L. Automatická verifikace v procesu soubežného návrhu hardware a software [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. .

Posudek vedoucího

Vojnar, Tomáš

Posudek oponenta

Kubátová, Hana

Řehák, Vojtěch

eVSKP id 128177