Contact
Automated Analysis and Verification Research Group - VeriFIT
RG VERIFIT
Member
ihruska@fit.vut.cz | |
Work Phone | +420 54114 1331 |
Room | A220 Office |
ORCID iD | 0000-0003-2318-0940 |
Scopus Author ID | 57188881647 |
RG VERIFIT
Member
ihruska@fit.vut.cz | |
Work Phone | +420 54114 1331 |
Room | A220 Office |
ORCID iD | 0000-0003-2318-0940 |
Scopus Author ID | 57188881647 |