@techreport{tafat:inria-00491835, TITLE = {{A Refinement Approach for Correct-by-Construction Object-Oriented Programs}}, AUTHOR = {Tafat, Asma and Boulm{\'e}, Sylvain and March{\'e}, Claude}, URL = {https://inria.hal.science/inria-00491835}, TYPE = {Research Report}, NUMBER = {RR-7310}, PAGES = {31}, INSTITUTION = {{INRIA}}, YEAR = {2010}, MONTH = Jun, PDF = {https://inria.hal.science/inria-00491835/file/RR-7310.pdf}, HAL_ID = {inria-00491835}, HAL_VERSION = {v1}, }