TY  - RPRT
TI  - Verification of Object-Oriented Programs: a Transformational Approach
AU  - Krzysztof R. Apt
AU  - Frank S. de Boer
AU  - Ernst-Ruediger Olderog
AU  - Stijn de Gouw
PY  - 2011
UR  - https://arxiv.org/abs/1004.4656
ID  - 1004.4656
ER  -