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

Document Versions

An Axiomatic Approach to Binary Logical Relations with Applications to Data Refinement –Yoshiki Kinoshita, Peter W. O'hearn, A. John Power, Makoto Takeyama, Robert D. Tennent — 1997 — Proc. TACS'97, Springer LNCS 1281
An Axiomatic Approach to Binary Logical Relations with Applications to Data Refinement –Yoshiki Kinoshita, Peter W. O'Hearn, A. John Power, Makoto Takeyama, Robert D. Tennent — 1997 — Proc. TACS'97, Springer LNCS 1281