Securely Optimized (Ethereum) Smart Contracts Using Formal Methods
- Elvira Albert
- , Samir Genaim
- , Pablo Gordillo
- , Alejandro Hernández-Cerezo
- , Enrique Martin Martin
- , Albert Rubio
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review