Not registered as user yet

Name:Miguel Gómez-Zamalloa
Affiliation:Complutense University of Madrid

Contributions

ISSTA 2019 Author of Optimal Context-Sensitive Dynamic Partial Order Reduction with Observers within the Technical Papers-track