Researcher identifiers

Number of documents

1

Claude Kirchner


Stephan Merz   

Conference papers1 document

  • Mohamed El Habib, Claude Kirchner, Hélène Kirchner, Jean-Yves Marion, Stephan Merz. The QSL platform at LORIA. First QPQ Workshop on Deductive Software Components, 2003, Miami, Floride, 3 p. ⟨inria-00099497⟩