Accéder directement au contenu

Claude Kirchner

2
Documents
Identifiants chercheurs

Présentation

Publications

831082
Image document

Modular Formal Islands: Embed theory in your practice

 Emilie Balland , Claude Kirchner , Pierre-Etienne Moreau , Anderson Santana de Oliveira
Third Taiwanese-French Conference on Information Technology - TFIT 2006, INRIA/LORIA, Mar 2006, Nancy/France
Communication dans un congrès inria-00001186v1
Image document

Formal Islands

 Emilie Balland , Claude Kirchner , Pierre-Etienne Moreau
11th International Conference on Algebraic Methodology and Software Technology - AMAST '06, Jul 2006, Kuressaare, Estonia. pp.51-65
Communication dans un congrès inria-00001146v1