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