Contact
Automated Analysis and Verification Research Group - VeriFIT
RG VERIFIT
Member
| isokova@fit.vut.cz | |
| Work Phone | +420 54114 1178 |
| Room | A219 Office |
| ORCID iD | 0000-0003-1980-7245 |
| Scopus Author ID | 57188870602 |
RG VERIFIT
Member
| isokova@fit.vut.cz | |
| Work Phone | +420 54114 1178 |
| Room | A219 Office |
| ORCID iD | 0000-0003-1980-7245 |
| Scopus Author ID | 57188870602 |