Symbiotic 9.1

• 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.