Mechanically Verified Proof Obligations for Linearizability.
Saved in:
| Title: | Mechanically Verified Proof Obligations for Linearizability. |
|---|---|
| Authors: | Derrick, John1, Schellhorn, Gerhard2, Wehrheim, Heike wehrheim@upb.de |
| Source: | ACM Transactions on Programming Languages & Systems. Jan2011, Vol. 33 Issue 1, p4:1-4:43. 43p. |
| Database: | Business Source Ultimate |
Be the first to leave a comment!
