From Traces to Proofs: Proving Concurrent Programs Safe

Publication
10th International Symposium on Theoretical Aspects of Software Engineering, Shanghai, China
Subodh Sharma
Subodh Sharma
Assistant Professor and Pankaj Gupta Chair Professor in Privacy and Decentralisation

Related