Bc. Matěj Pavlík

Katedra teorie programování

e‑mail:

Vývoj nástroje Q3B s částečnými BDD (MUNI/33/0766/2022)

Řešitel na MU:	prof. RNDr. Jan Strejček, Ph.D.
Fakulta / Pracoviště MU:	Fakulta informatiky
Období řešení:	7/2022 — 9/2023
Investor/Program:	Masarykova univerzita / Interní projekty FI