Rijnard van Tonder. Verifying and Displaying Move Smart Contract Source Code for the Sui Blockchain. In Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, ICSE Companion 2024, Lisbon, Portugal, April 14-20, 2024. pages 26-29, ACM, 2024. [doi]
Abstract is missing.