ISMM 2024
Tue 25 Jun 2024 Copenhagen, Denmark
co-located with PLDI 2024
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

Show activities from other conferences

PLDI 2024-profile
View general profile