D.: A weakest precondition semantics for refinement of object-oriented programs (0)

by A L C Cavalcanti, Naumann
Venue:IEEE Trans. on Software Engineering