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 |