Line Jakubiec
发表
R. Amadio,
S. Zilio,
Solange Coupet-Grimal,
2003
.
Line Jakubiec,
Solange Coupet-Grimal,
Solange Coupet-Grimal,
2004,
Formal Aspects of Computing.
Bernard P. Serpette,
Guillaume Dufay,
S. Sousa,
2008
.
Line Jakubiec,
Solange Coupet-Grimal,
Solange Coupet-Grimal,
1996,
TPHOLs.
Gilles Barthe,
Simão Melo de Sousa,
Guillaume Dufay,
2002,
VMCAI.
Gilles Barthe,
Bernard P. Serpette,
Simão Melo de Sousa,
2001,
ESOP.
Jean-Luc Paillet,
Line Jakubiec,
Solange Coupet-Grimal,
1996,
Proceedings ED&TC European Design and Test Conference.
Silvano Dal-Zilio,
Roberto M. Amadio,
Line Jakubiec,
2004,
CSL.