Kontakt
Výzkumná skupina automatizované analýzy a verifikace - VeriFIT
VZ VERIFIT
Člen
| imatyas@fit.vut.cz | |
| Místnost | A220 Pracovna |
| ORCID iD | 0000-0003-2185-1536 |
| Scopus Author ID | 57201132741 |
VZ VERIFIT
Člen
| imatyas@fit.vut.cz | |
| Místnost | A220 Pracovna |
| ORCID iD | 0000-0003-2185-1536 |
| Scopus Author ID | 57201132741 |