conf.researchr.org / Quentin Bouillaguet
Registered user since Wed 13 Mar 2019
Name: Quentin Bouillaguet
Contributions
| VMCAI 2019 | Author of Exploiting Pointer Analysis in Memory Models for Deductive Verification within the VMCAI 2019-track |
Registered user since Wed 13 Mar 2019
Name: Quentin Bouillaguet
Contributions
| VMCAI 2019 | Author of Exploiting Pointer Analysis in Memory Models for Deductive Verification within the VMCAI 2019-track |