Claude Marché
2
Documents
Affiliations actuelles
Publications
- 2
- 2
- 2
|
|
A refinement methodology for object-oriented programsFormal Verification of Object-Oriented Software, Jun 2010, Paris, France. pp.143--159
Communication dans un congrès
inria-00534336v1
|
|
|
A Refinement Approach for Correct-by-Construction Object-Oriented Programs[Research Report] RR-7310, INRIA. 2010, pp.31
Rapport
inria-00491835v1
|