TY  - RPRT
TI  - A Sound and Complete Hoare Logic for Dynamically-Typed, Object-Oriented Programs -- Extended Version --
AU  - Björn Engelmann
AU  - Ernst-Rüdiger Olderog
PY  - 2016
UR  - https://arxiv.org/abs/1509.08605
ID  - 1509.08605
ER  -