Kontakty

Fakulta informačních technologií

Výzkumná skupina automatizované analýzy a verifikace - VeriFIT, člen

Automata@FIT, člen pracovní skupiny

Pokud je v údajích nesrovnalost, podívejte se do častých otázek k vizitkám.