Mgr. Jiří Weiser
Katedra počítačových systémů a komunikací
e‑mail: |
---|
Katedra počítačových systémů a komunikací
e‑mail: |
---|
Počet publikací: 3
Model Checking Software, rok: 2015
Rok: 2013
Computer Aided Verification 2013, rok: 2013