Arthur Charguéraud

Registered user since Thu 11 Jun 2015

Name:Arthur Charguéraud
Country:France
Affiliation:Inria

Contributions

CPP 2022 Specification and Verification of a Transient Stack
Show activities from other conferences

POPL 2022-profile
View general profile