Obhajoby disertačních prací v únoru 2016
- středa 10. 2. 201, 13.00 v A321
Mgr. Petr Bauch - Automating Software Development with Explicit Model Checking
- čtvrtek 18. 2. 2016, 13.00 v B517
Obhajoby jsou veřejné.
Odpovědný kontakt:
webmasterAcw31VcB@fiIcw31VcB.muniIcw31VcB.cz
Pro správnou funkci tohoto webu si prosím nainstalujte některý z novějších prohlížečů.