Not registered as user yet

Name:Vincent Botbol
Affiliation:CEA LIST + LIP6 Université Pierre & Marie Curie

Contributions

VMCAI 2017 Author of Static Analysis of Communicating Process using Symbolic Transducers within the VMCAI-track