Registered user since Sun 14 Sep 2025
Name:Tomas Vojnar
Country:Czechia
Affiliation:Masaryk University
Personal website: https://www.muni.cz/lide/134390-tomas-vojnar
Research interests:Static analysis of programs; formal analysis and verification; dynamic analysis and testing; automata, logics and their decision procedures, logic programming – for verification and beyond
Contributions
Using general profile