Researcher identifiers

Number of documents

1

Claude Kirchner


"Anderson Santana de Oliveira"    "Emilie Balland"   

Conference papers1 document

  • Emilie Balland, Claude Kirchner, Pierre-Etienne Moreau, Anderson Santana de Oliveira. Modular Formal Islands: Embed theory in your practice. Third Taiwanese-French Conference on Information Technology - TFIT 2006, INRIA/LORIA, Mar 2006, Nancy/France. ⟨inria-00001186⟩