@book{beckert:inria-00534339, TITLE = {{Formal Verification of Object-Oriented Software, Papers Presented at the International Conference}}, AUTHOR = {Beckert, Bernhard and March{\'e}, Claude}, URL = {https://inria.hal.science/inria-00534339}, EDITOR = {Bernhard Beckert and Claude March{\'e}}, PUBLISHER = {{Karlsruhe University}}, SERIES = {Karlsruhe Reports in Informatics}, VOLUME = {2010-13}, PAGES = {368}, YEAR = {2010}, MONTH = Jun, HAL_ID = {inria-00534339}, HAL_VERSION = {v1}, }