Mgr. Jan Jedelský

Katedra teorie programování

e‑mail:

sociální a akademické sítě:

Modelování, analýza a verifikace (2023) (MUNI/A/1081/2022)

Řešitel na MU:	doc. RNDr. David Svoboda, Ph.D.
Fakulta / Pracoviště MU:	Fakulta informatiky
Období řešení:	1/2023 — 12/2023
Investor/Program:	Masarykova univerzita / Specifický výzkum - podpora studentských projektů