R. K. Shyamasundar, Snehal Borse, Mohammad Ummair. Enhancing Robustness of Smart Contracts Through Declarations. In Jun Feng 0007, Songlin He, Liang-Jie Zhang, editors, Blockchain - ICBC 2024 - 7th International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedings. Volume 15425 of Lecture Notes in Computer Science, pages 50-68, Springer, 2024. [doi]
Abstract is missing.