Search

Academic

Academic

Home
News
Courses
Projects
Publications
Students
Contact

Shibashis Guha

Latest

From Traces to Proofs: Proving Concurrent Programs Safe

Published with Wowchemy — the free, open source website builder that empowers creators.

Cite