@incollection{DietlMueller12, author = {W. Dietl and P. M{\"u}ller}, title = {Object Ownership in Program Verification}, booktitle = {Aliasing in Object-Oriented Programming}, publisher = {Springer-Verlag}, year = {2013}, editor = {D. Clarke and J. Noble and T. Wrigstad}, series = {Lecture Notes in Computer Science}, pages = {289--318}, volume = {7850}, url = {https://doi.org/10.1007/978-3-642-36946-9_11}, urltext = {[Publisher]} }