Mojtaba Eshghie, Wolfgang Ahrendt, Cyrille Artho, Thomas Troels Hildebrandt, Gerardo Schneider. Capturing Smart Contract Design with DCR Graphs. In Carla Ferreira 0001, Tim A. C. Willemse, editors, Software Engineering and Formal Methods - 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings. Volume 14323 of Lecture Notes in Computer Science, pages 106-125, Springer, 2023. [doi]
Abstract is missing.