Registered user since Tue 31 Mar 2015
Name:Gustavo Petri
Country:France
Affiliation:IRIF, Université Paris Diderot
Personal website: http://gpetri.github.io/
Research interests:Concurrency, Verification, Memory Models, Semantics
Contributions
POPL 2019-profile
View general profile
View general profile