Researcher identifiers

Number of documents

1

Claude Kirchner


"Francis Klay"   

Reports1 document

  • Francis Klay, Eric Domenjoud, Claude Kirchner. Vérification sémantique de spécifications métallurgiques. [Rapport de recherche] RR-2226, INRIA. 1994. ⟨inria-00074444⟩