Mgr. Jan Jedelský

Department of Computer Science

E‑mail:

social and academic networks:

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

MU Researcher:	doc. RNDr. David Svoboda, Ph.D.
MU Faculty or unit:	Faculty of Informatics
Project Period:	1/2023 — 12/2023
Investor:	Masaryk University / Specific research - support for student projects