Marcela Šimková

Projekt: Akcelerace verifikačních procesů v oblasti diagnostiky počítačových systémů

Školitel: doc. Ing. Zdeněk Kotásek, CSc.

Pracoviště: Ústav počítačových systémů, FIT VUT