Not registered as user yet

Name: Marek Chalupa

Affiliation: Masaryk University

Contributions

POPL 2018Author of Data-centric Dynamic Partial Order Reduction within the Research Papers-track