PLDI 2025
Mon 16 - Fri 20 June 2025 Seoul, South Korea
Michal Hečko

Registered user since Tue 8 Oct 2024

Name:Michal Hečko
Country:Czechia
Affiliation:Brno University of Technology
Research interests:Formal methods, Decision procedures, Automata, Combinatorics on Words

Contributions

Show activities from other conferences

Using general profile