ECSA 2025
Mon 15 - Fri 19 September 2025 Limassol, Cyprus
Tomas Vojnar

Registered user since Sun 14 Sep 2025

Name:Tomas Vojnar
Country:Czechia
Affiliation:Masaryk University
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

Show activities from other conferences

Using general profile