A Weakest Precondition Semantics for Refinement of Object-Oriented Programs (2000)

Cached

Download Links

by Ana Cavalcanti , David A. Naumann
Citations:13 - 3 self