A structural proof of the soundness of rely/guarantee rules (2007)

Cached

Download Links

by Joey W. Coleman , Cliff B. Jones
Venue:Journal of Logic and Computation
Citations:16 - 8 self