Guillaume Claret
发表
Yann Régis-Gianas,
Guillaume Claret,
Lourdes Del Carmen González-Huesca,
2013,
ITP.
Claudio V. Russo,
Andrew D. Gordon,
Sriram K. Rajamani,
2013,
POPL.
Yann Régis-Gianas,
Guillaume Claret,
Y. Régis-Gianas,
2015,
2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering.
Claudio V. Russo,
Sriram K. Rajamani,
Thore Graepel,
2013,
POPL 2015.
David Naccache,
Guillaume Claret,
Michaël Mathieu,
2011,
Cryptography and Security.
Andrew D. Gordon,
Sriram K. Rajamani,
Aditya V. Nori,
2012
.
Guillaume Claret,
2018
.
Andrew D. Gordon,
Sriram K. Rajamani,
Aditya V. Nori,
2013,
ESEC/FSE 2013.
Julien Tesson,
Bruno Bernardo,
Basile Pesin,
2020,
ISoLA.
Guillaume Claret,
2018
.