Matteo Marescotti

Latest

• A Solicitous Approach to Smart Contract Verification
• Accurate Smart Contract Verification Through Direct Modelling