From Traces to Proofs: Proving Concurrent Programs Safe

Publication
10th International Symposium on Theoretical Aspects of Software Engineering, Shanghai, China