Tomáš Vojnar

https://www.fit.vut.cz/person/vojnar/.en

Vice Dean for Science and Research, Brno University of Technology

Research Areas

Testing and Ops

RIG(s)

Partner Universities

Brno University of Technology

Related Projects

AUFOVER: The Automation of Formal Verification