Accéder directement au contenu

Claude Kirchner

1
Documents
Identifiants chercheurs

Présentation

Publications

jean-yves-marion
helene-kirchner
Image document

The QSL platform at LORIA

Mohamed El Habib , Claude Kirchner , Hélène Kirchner , Jean-Yves Marion , Stephan Merz
First QPQ Workshop on Deductive Software Components, 2003, Miami, Floride, 3 p
Communication dans un congrès inria-00099497v1