![Důležité termíny](https://cdn.muni.cz/media/3633704/image_2.jpg?mode=crop¢er=0.5,0.5&rnd=133572412150000000&heightratio=0.5&width=278)
Mgr. Adam Matoušek
Projekty
-
Symbolická exekuce spustitelných programů v nástroji DIVINE (MUNI/33/07/2018)
Řešitel na MU: RNDr. Petr Ročkai, Ph.D. Fakulta / Pracoviště MU: Fakulta informatiky Období řešení: 12/2018 — 11/2019Investor/Program: Masarykova univerzita / Program děkana FI