UPLC (UPLC Programming Language Conference) 2025

Talk
Keynote

Automating Formal Verification of Smart Contracts

Romain Soulat

on  Thu, 9:30in  G.03for  60min

 Overview  Program