@inproceedings{TBM1,
title = { A refinement methodology for object-oriented programs },
author = {Tafat, Asma and Boulm\'e, Sylvain and March\'e, Claude},
year = {2011},
booktitle = {Formal Verification of Object-Oriented Software},
series = {Lecture Notes in Computer Science},
volume = {6528},
team = {DCS, PACSS},
}
