@inproceedings{BGQ10b,
title = {Reasoning about Safety and Progress Using Contracts },
author = {Ben-Hafaiedh, Imene and Graf, Susanne and Quinton, Sophie},
year = {2010},
booktitle = {Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings},
pages = {436-451},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {6447},
team = {DCS},
}
