Mgr. Adam Matoušek
programátor – Centrum výpočetní techniky
kancelář: B205
Botanická 554/68a
602 00 Brno
telefon: | 549 49 4348 |
---|
-
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