Stéphane Lescuyer
发表
Stéphane Lescuyer,
2015,
MILS@HiPEAC.
Thomas Jensen,
Stéphane Lescuyer,
Oana Fabiana Andreescu,
2019,
Proc. ACM Program. Lang..
Sylvain Conchon,
Jean-François Couchot,
Malgorzata Biernacka,
2006
.
Stéphane Lescuyer,
2011,
Stud. Inform. Univ..
Sylvain Conchon,
Stéphane Lescuyer,
2009,
FroCoS.
Jean-Christophe Filliâtre,
Johannes Kanig,
Stéphane Lescuyer,
2009,
Stud. Inform. Univ..
Thomas Jensen,
Stéphane Lescuyer,
Oana Fabiana Andreescu,
2016,
SEFM.
Thomas Jensen,
Stéphane Lescuyer,
Oana Fabiana Andreescu,
2015,
ICFEM.
Jean-François Couchot,
Stéphane Lescuyer,
2007,
CADE.
Stéphane Lescuyer,
Stéphane Lescuyer,
2011
.
Sylvain Conchon,
Evelyne Contejean,
Johannes Kanig,
2008,
Electron. Notes Theor. Comput. Sci..