Automated concurrency bug finding using partial-orders (University of Oxford, 2015)

(untitled) - Horn, A