inria-00534336v1Communication dans un congrès Asma Tafat, Sylvain Boulmé, Claude Marché. A refinement methodology for object-oriented programs Bernhard Beckert and Claude Marché. Formal Verification of Object-Oriented Software, Jun 2010, Paris, France. Karlsruhe University, 2010-13, pp.143--159, 2010, Karlsruhe Reports in Informatics; Formal Verification of Object-Oriented Software, Papers Presented at the International Conference