Researcher identifiers

Number of documents

2

Claude Kirchner


"Emilie Balland"   

Conference papers2 documents

  • 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⟩
  • Emilie Balland, Claude Kirchner, Pierre-Etienne Moreau. Formal Islands. 11th International Conference on Algebraic Methodology and Software Technology - AMAST '06, Jul 2006, Kuressaare, Estonia. pp.51-65. ⟨inria-00001146⟩