14 citations · 20 across the 6 of their papers we have counts for
1 paper · 1 filter
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-…