Write a Blog >>

Registered user since Tue 12 Nov 2019

Name:Paulo Emílio de Vilhena
Country:France
Affiliation:Inria

Contributions

POPL 2020 Spy Game: Verifying a Local Generic Solver in Iris
Show activities from other conferences

POPL 2020-profile
View general profile