From Traces to Proofs: Proving Concurrent Programs Safe.

Chinmay Narayan, Subodh Vishnu Sharma, Shibashis Guha, S. Arun-Kumar

Browse the full TASE paper archive.