Contact
Automated Analysis and Verification Research Group - VeriFIT
RG VERIFIT
Member
ituronova@fit.vut.cz | |
Work Phone | +420 54114 1178 |
Room | A219 Office |
ORCID iD | 0000-0003-1450-6136 |
RG VERIFIT
Member
ituronova@fit.vut.cz | |
Work Phone | +420 54114 1178 |
Room | A219 Office |
ORCID iD | 0000-0003-1450-6136 |