UPLC (UPLC Programming Language Conference) 2025

Speaker

Tudor Ferariu

Talks at this conference:
 Wed, 15:40 Validity, Liquidity, and Fidelity: Formal Verification for Smart Contracts in Cardano

 Overview