Kontakt
Výzkumná skupina automatizované analýzy a verifikace - VeriFIT
VZ VERIFIT
Člen
ihruska@fit.vut.cz | |
Pracovní telefon | +420 54114 1331 |
Místnost | A220 Pracovna |
ORCID iD | 0000-0003-2318-0940 |
Scopus Author ID | 57188881647 |
VZ VERIFIT
Člen
ihruska@fit.vut.cz | |
Pracovní telefon | +420 54114 1331 |
Místnost | A220 Pracovna |
ORCID iD | 0000-0003-2318-0940 |
Scopus Author ID | 57188881647 |