Solange Coupet-Grimal
发表
R. Amadio,
S. Zilio,
Solange Coupet-Grimal,
2003
.
Olivier Ridoux,
Solange Coupet-Grimal,
O. Ridoux,
1995,
J. Log. Program..
Solange Coupet-Grimal,
William Delobel,
W. Delobel,
2006,
Applicable Algebra in Engineering, Communication and Computing.
Line Jakubiec,
Solange Coupet-Grimal,
Solange Coupet-Grimal,
2004,
Formal Aspects of Computing.
Line Jakubiec,
Solange Coupet-Grimal,
Solange Coupet-Grimal,
1996,
TPHOLs.
Jean-Luc Paillet,
Line Jakubiec,
Solange Coupet-Grimal,
1996,
Proceedings ED&TC European Design and Test Conference.
J.-L. Paillet,
Solange Coupet-Grimal,
M. Allemand,
1997
.
Solange Coupet-Grimal,
Solange Coupet-Grimal,
2003,
J. Log. Comput..
Silvano Dal-Zilio,
Roberto M. Amadio,
Line Jakubiec,
2004,
CSL.
Roberto M. Amadio,
Solange Coupet-Grimal,
R. Amadio,
1998,
FoSSaCS.
Solange Coupet-Grimal,
William Delobel,
W. Delobel,
2004,
TYPES.