@inproceedings{DBLP:conf/ecoop/StadenCM10, author = {Stephan van Staden and Cristiano Calcagno and Bertrand Meyer}, title = {Verifying Executable Object-Oriented Specifications with Separation Logic}, booktitle = {ECOOP}, year = {2010}, editor = {Theo D'Hondt}, pages = {151-174}, volume = {6183}, series = {Lecture Notes in Computer Science}, month = {June}, publisher = {Springer}, urltopdf = {/people/vanstaden/ExecutableSpecsECOOP2010.pdf} }