Solange Coupet-Grimal

发表

Solange Coupet-Grimal, 1993, JFPL.

Sébastien Hinderer, Frédéric Blanqui, Adam Koprowski, 2006 .

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.

Silvano Dal-Zilio, Roberto M. Amadio, Line Jakubiec, 2004, CSL.

Line Jakubiec, Solange Coupet-Grimal, Solange Coupet-Grimal, 2004, Formal Aspects of Computing.

Solange Coupet-Grimal, Solange Coupet-Grimal, 2003, J. Log. Comput..

Solange Coupet-Grimal, Catherine Nouvet, 2003, J. Log. Comput..

J.-L. Paillet, Solange Coupet-Grimal, M. Allemand, 1997 .

Solange Coupet-Grimal, 1991, RAIRO Theor. Informatics Appl..

Solange Coupet-Grimal, William Delobel, W. Delobel, 2004, TYPES.

Solange Coupet-Grimal, William Delobel, W. Delobel, 2006, Applicable Algebra in Engineering, Communication and Computing.

Olivier Ridoux, Solange Coupet-Grimal, O. Ridoux, 1995, J. Log. Program..

Roberto M. Amadio, Solange Coupet-Grimal, R. Amadio, 1998, FoSSaCS.

Line Jakubiec, Solange Coupet-Grimal, 1999, TPHOLs.