@inproceedings{tafat:inria-00534336, TITLE = {{A refinement methodology for object-oriented programs}}, AUTHOR = {Tafat, Asma and Boulm{\'e}, Sylvain and March{\'e}, Claude}, URL = {https://inria.hal.science/inria-00534336}, BOOKTITLE = {{Formal Verification of Object-Oriented Software}}, ADDRESS = {Paris, France}, EDITOR = {Bernhard Beckert and Claude March{\'e}}, PUBLISHER = {{Karlsruhe University}}, SERIES = {Karlsruhe Reports in Informatics}, VOLUME = {2010-13}, PAGES = {143--159}, YEAR = {2010}, MONTH = Jun, PDF = {https://inria.hal.science/inria-00534336/file/13.pdf}, HAL_ID = {inria-00534336}, HAL_VERSION = {v1}, }