@InProceedings{BeckertPlatzerIJCAR2006,
author = {Bernhard Beckert and Andr\'e Platzer},
title = {Dynamic Logic with Non-rigid Functions:
{A} Basis for Object-oriented Program Verification},
pages = {266--280},
booktitle = {Third International Joint Conference on
Automated Reasoning ({IJCAR} 2006)},
editor = {Ulrich Furbach and Natarajan Shankar},
publisher = {Springer},
series = {LNCS},
volume = {4130},
year = {2006},
doi = {10.1007/11814771_23},
venue = {Seattle, {WA}, {USA}},
eventdate = {2006-08-17/2006-08-20},
month = aug
}
