Matteo Marescotti

1 talk by Matteo Marescotti

• Fully Automated Inductive Invariants Inference for Solidity Smart Contracts by Leo Alt (Devcon5)