conf.researchr.org / David Chocholatý
Registered user since Mon 2 Sep 2024
Name:David Chocholatý
Country:Czechia
Affiliation:Brno University of Technology
Research interests:Automata theory, SMT, string solving, program analysis and verification
Contributions