@book{beckert:hal-00772519, TITLE = {{Formal Verification of Object-Oriented Software, Revised Selected Papers Presented at the International Conference, FoVeOOS 2010}}, AUTHOR = {Beckert, Bernhard and March{\'e}, Claude}, URL = {https://inria.hal.science/hal-00772519}, EDITOR = {Bernhard Beckert and Claude March{\'e}}, PUBLISHER = {{Springer}}, VOLUME = {6528}, PAGES = {200}, YEAR = {2011}, MONTH = Jan, HAL_ID = {hal-00772519}, HAL_VERSION = {v1}, }