Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Miguel Isabel
conf.researchr.org general profile
ISSTA 2019 profile
Not registered as user yet
Name:
Miguel Isabel
Affiliation:
Complutense University of Madrid
Contributions
2019
ISSTA
Author 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
Share
x
Mon 18 Nov 01:15