Not registered as user yet

Name: Vincent Laporte

Affiliation: IMDEA Software Institute, Spain

Contributions

ICFP 2016Author of An Abstract Memory Functor for Verified C Static Analyzers within the Research Papers-track