Verifying and Displaying Move Smart Contract Source Code for the Sui Blockchain

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

Abstract is missing.