Type Safety for Isabelle/Solidity.

Billy Thornton, Diego Marmsoler

Browse the full ICTAC paper archive.