
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
View general profile