Contacts

0000-0003-2318-0940
Scopus ID	57188881647

Faculty of Information Technology

Automated Analysis and Verification Research Group - VeriFIT, Member

Automata@FIT, Member of Workgroup

In the event of a discrepancy in the data, inspect the FAQs for visiting cards.