ISSTA 2019
Mon 15 - Fri 19 July 2019 Beijing, China
ISSTA 2019 (series) / Elvira Albert

Not registered as user yet

Name: Elvira Albert

Personal website: http://costa.ls.fi.upm.es/~elvira/

Contributions

ISSTA 2019Author of Conditional Dynamic Partial Order Reduction and Optimality Results within the Doctoral Symposium -track
Author of Optimal Context-Sensitive Dynamic Partial Order Reduction with Observers within the Technical Papers-track
Author of SAFEVM: A Safety Verifier for Ethereum Smart Contracts within the Tool Demonstration-track
Show activities from other conferences

Using general profile