Mgr. Adam Matoušek
Department of Computer Systems and Communications
Projects
-
Symbolická exekuce spustitelných programů v nástroji DIVINE (MUNI/33/07/2018)
MU Researcher: RNDr. Petr Ročkai, Ph.D. MU Faculty or unit: Faculty of Informatics Project Period: 12/2018 — 11/2019Investor: Masaryk University / FI Dean's Programme