On the Semantics of Refinement Calculi (2000)

Cached

Download Links

by Hongseok Yang , Uday S. Reddy
Citations:2 - 1 self