Rosecký Václav (
search by name in IS MU
/auth
)
Body na spoluautora
Body za publikaci pro MU
Odkaz ISVaV
7,22
14,45
EMMA: Explicit Model Checking Manager (Tool Presentation)
0,00
0,00
Complementarity of Error Detection Techniques
Back
(c) Michal Bulant, 2011