Not registered as user yet

Name:Olivier Nicole
Country:France
Affiliation:CEA LIST, France

Contributions

VMCAI 2022 Lightweight Shape Analysis based on Physical Types
Show activities from other conferences

POPL 2022-profile
View general profile