Contact
Automated Analysis and Verification Research Group - VeriFIT
RG VERIFIT
Member
imarticek@fit.vut.cz | |
Room | A220 Office |
ORCID iD | 0000-0003-4498-7436 |
RG VERIFIT
Member
imarticek@fit.vut.cz | |
Room | A220 Office |
ORCID iD | 0000-0003-4498-7436 |