Not registered as user yet
Name:Nicolas Tabareau
Affiliation:Inria
Contributions
CPP 2019 | Session Chair of Research Papers: Program Verification (part of CPP 2019) | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2019-profile
View general profile
View general profile