Login / Signup
Marc Chevalier
Publication Activity (10 Years)
Years Active: 2020-2020
Publications (10 Years): 1
Top Topics
Knowledge Sharing
State Variables
High Level
Causal Graph
Top Venues
VMCAI
</>
Publications
</>
Marc Chevalier
,
Jérôme Feret
Sharing Ghost Variables in a Collection of Abstract Domains.
VMCAI
(2020)