12 citations · 31 across the 14 of their papers we have counts for
1 paper · 2 filters
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-…