Ing.

Jiří Matyáš

Ph.D.

Member

imatyas@fit.vut.cz
A220 Office
156051/BUT personal ID

Contact

Automated Analysis and Verification Research Group - VeriFIT

RG VERIFIT

Member

E-mail	imatyas@fit.vut.cz
Room	A220 Office
ORCID iD	0000-0003-2185-1536
Scopus Author ID	57201132741