Symbiotic 9.1

Varování

Publikace nespadá pod Lékařskou fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Autoři	CHALUPA Marek NOVÁK Jakub TRTÍK Marek ZAORAL Lukáš STREJČEK Jan
Rok publikování	2022
Druh	Software
Fakulta / Pracoviště MU	Fakulta informatiky
www	Odkaz na stránku software
Související projekty:	Rozsáhlé výpočetní systémy: modely, aplikace a verifikace XI.