1 paper
Krzysztof R. Apt, Frank S. de Boer, Ernst-Ruediger Olderog +1
We show that verification of object-oriented programs by means of the assertional method can be achieved in a simple way by exploiting a syntax-directed transformation from object-…