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

Using general profile