TY - JOUR T1 - Modularising Verification Of Durable Opacity JO - Logical Methods in Computer Science UR - http://dx.doi.org/10.46298/lmcs-18(3:7)2022 PY - 2022/07/28 AU - Bila E AU - Derrick J AU - Doherty S AU - Dongol B AU - Schellhorn G AU - Wehrheim H ED - DO - DOI: 10.46298/lmcs-18(3:7)2022 PB - Centre pour la Communication Scientifique Directe (CCSD) VL - Volume 18, Issue 3 Y2 - 2025/06/02 ER -