conf.researchr.org / Tristan Le Gall
Registered user since Fri 16 Dec 2016
Name: Tristan Le Gall
Affiliation: CEA LIST
Contributions
| VMCAI 2017 | Author of Static Analysis of Communicating Process using Symbolic Transducers within the VMCAI-track |
Registered user since Fri 16 Dec 2016
Name: Tristan Le Gall
Affiliation: CEA LIST
Contributions
| VMCAI 2017 | Author of Static Analysis of Communicating Process using Symbolic Transducers within the VMCAI-track |