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