Kontakt
Výzkumná skupina automatizované analýzy a verifikace - VeriFIT
VZ VERIFIT
Člen
imarticek@fit.vut.cz | |
Místnost | A220 Pracovna |
ORCID iD | 0000-0003-4498-7436 |
VZ VERIFIT
Člen
imarticek@fit.vut.cz | |
Místnost | A220 Pracovna |
ORCID iD | 0000-0003-4498-7436 |