An Axiomatic Approach to Binary Logical Relations with Applications to Data Refinement (1997)
Cached
Download Links
- [ftp.qucis.queensu.ca]
- [ftp.dcs.qmw.ac.uk]
- DBLP
Other Repositories/Bibliography
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 |
