Accéder directement au contenu

Claude Marché

2
Documents
Affiliations actuelles

Publications

alain-giorgetti
Image document

Specifying Generic Java Programs: two case studies

 Alain Giorgetti , Claude Marché , Elena Tushkanova , Olga Kouchnarenko
11th International Workshop on Language Descriptions, Tools, and Applications - LDTA'2010, Mar 2010, Paphos, Cyprus. pp.92--106
Communication dans un congrès inria-00525784v1
Image document

Modular Specification of Java Programs

 Elena Tushkanova , Alain Giorgetti , Claude Marché , Olga Kouchnarenko
[Research Report] RR-7097, INRIA. 2009, pp.26
Rapport inria-00434452v1