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
Contributions
| VMCAI 2017 | Author of Static Analysis of Communicating Process using Symbolic Transducers within the VMCAI-track |