Write a Blog >>

Registered user since Thu 7 Nov 2019

Name: Marc Chevalier

Country: France

Affiliation: ENS, CNRS, PSL University, INRIA

Contributions

VMCAI 2020Author of Sharing Ghost Variables in a Collection of Abstract Domains within the VMCAI 2020-track
Show activities from other conferences

POPL 2020-profile
View general profile