%0 Journal Article %1 journals/corr/EngelmannO15 %A Engelmann, Björn %A Olderog, Ernst-Rüdiger %D 2015 %J CoRR %K %T A Sound and Complete Hoare Logic for Dynamically-Typed, Object-Oriented Programs - Extended Version -. %U http://dblp.uni-trier.de/db/journals/corr/corr1509.html#EngelmannO15 %V abs/1509.08605

@article{journals/corr/EngelmannO15, added-at = {2023-12-14T16:01:57.000+0100}, author = {Engelmann, Björn and Olderog, Ernst-Rüdiger}, biburl = {https://www.bibsonomy.org/bibtex/20dc36cd58fbfdcd5438314a633021ad6/admin}, ee = {http://arxiv.org/abs/1509.08605}, interhash = {f2964259a4007be30773f1d6cdc92057}, intrahash = {0dc36cd58fbfdcd5438314a633021ad6}, journal = {CoRR}, keywords = {}, timestamp = {2023-12-14T16:01:57.000+0100}, title = {A Sound and Complete Hoare Logic for Dynamically-Typed, Object-Oriented Programs - Extended Version -.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1509.html#EngelmannO15}, volume = {abs/1509.08605}, year = 2015 }