A Weakest Precondition Semantics for an Object-oriented Language of Refinement (1999)

Cached

Download Links

by Ana Cavalcanti , David A. Naumann
Venue:Lecture Notes in Computer Science 1708
Citations:29 - 9 self