Mgr. Adam Matoušek

Katedra počítačových systémů a komunikací

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/2019
Investor/Program:	Masarykova univerzita / Program děkana FI