SPLASH 2020 (series) / Pedro Valero
Registered user since Sat 7 Mar 2020
Name:Pedro Valero
Country:Spain
Affiliation:IMDEA Software Institute, Spain
Personal website: https://pevalme.github.io/
Research interests:Formal Languages Theory, Automata, Minimization, Congruences, Quasiordes, Language Inclusion
Contributions
2020
Static Analysis Symposium
SPLASH 2020-profile
View general profile
View general profile