Not registered as user yet

Name:Katherine E. Coons

Contributions

SPLASH 2013 Author of Bounded Partial-Order Reduction within the OOPSLA-track