Elvira Albert

Registered user since Fri 9 Oct 2020

Name:Elvira Albert
Affiliation:Complutense University of Madrid

Contributions

SOAP 2022 Program Analysis for the Optimization and Verification of (Ethereum) Smart Contracts
Show activities from other conferences

PLDI 2022-profile
View general profile