Mgr. Adam Matoušek
Programmer, Computer Systems Unit
Office: B205
Botanická 554/68a
602 00 Brno
Phone: | +420 549 49 4348 |
---|
-
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