Search Results - "van Tonder, Rijnard"

  • Showing 1 - 2 results of 2
Refine Results
  1. 1

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

    Authors: van Tonder, Rijnard1, rijnard@mystenlabs.com

    Source: ICSE: International Conference on Software Engineering; 2024, p26-29, 4p

    HTML Full Text PDF Full Text
    Save to List
  2. 2

    Tailoring Programs for Static Analysis via Program Transformation.

    Authors: van Tonder, Rijnard Le Goues, Claire

    Source: ICSE: International Conference on Software Engineering; 6/17/2020, p824-834, 11p

    PDF Full Text
    Save to List

Search Tools: