![Pedro Valero](https://conf.researchr.org/getProfileImage/pedrovalero/2651c306-365f-432a-82eb-8275dca08450/small.jpg?1711649009000)
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