Not registered as user yet

Name: Maria Garcia de la Banda

Affiliation: Monash University

Contributions

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