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
2024
PLDI
Using general profile