Login / Signup

Formal Verification of Ethereum Smart Contracts Using Isabelle/HOL.

Maria RibeiroPedro AdãoPaulo Mateus
Published in: Logic, Language, and Security (2020)
Keyphrases