Verifying and Displaying Move Smart Contract Source Code for the Sui Blockchain. - van Tonder, Rijnard (ICSE: International Conference on Software Engineering, 2024)