conf.researchr.org / Pedro Barroso
Registered user since Tue 5 Mar 2024
Name:Pedro Barroso
Country:Portugal
Affiliation:NOVA LINCS & Nova School of Sciences and Tecnhology
Research interests:Programming Languages, Formal Methods, Formal Verification
Contributions