TY  - CHAP

T1  - Rely-Guarantee Is Coinductive

T2  - Lecture Notes in Computer Science

UR  - https://doi.org/10.1007/978-3-032-22720-1_9

PY  - 2026/01/01

AU  - Derrick J

AU  - Edmonds C

AU  - Popescu A

AU  - Wright J

ED  - Krebbers R

DO  - DOI: 10.1007/978-3-032-22720-1_9

PB  - Springer Nature Switzerland

SN  - 9783032227195

VL  - 16501 LNCS

SP  - 220

EP  - 251

Y2  - 2026/07/18

ER  -