Tai D. Nguyen, Long H. Pham, Jun Sun 0001, Quang Loc Le. An Idealist's Approach for Smart Contract Correctness. In Yi Li 0008, Sofiène Tahar, editors, Formal Methods and Software Engineering - 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings. Volume 14308 of Lecture Notes in Computer Science, pages 11-28, Springer, 2023. [doi]
Abstract is missing.