UPLC (UPLC Programming Language Conference) 2025

Speaker

Romain Soulat

Talks at this conference:
 Thu, 9:30 Automating Formal Verification of Smart Contracts

 Overview