An Axiomatic Approach to Binary Logical Relations with Applications to Data Refinement (1997)

Cached

Download Links

by Yoshiki Kinoshita , Peter W. O'hearn , A. John Power , Makoto Takeyama , Robert D. Tennent
Venue:Proc. TACS'97, Springer LNCS 1281
Citations:18 - 1 self