Simplified Semantics and Debugging of Concurrent Programs Via Targeted Race Detection

Paperback / softback