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

Rijnard van Tonder

Browse the full ICSE paper archive.