CSimpl
From MaRDI portal
Software:34516
No author found.
Related Items (2)
Proof tactics for assertions in separation logic ⋮ CSimpl: A Rely-Guarantee-Based Framework for Verifying Concurrent Programs
This page was built for software: CSimpl