Not registered as user yet

Name: Katherine E. Coons

Contributions

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