Mechanically Verified Proof Obligations for Linearizability.
Saved in:
| Title: | Mechanically Verified Proof Obligations for Linearizability. |
|---|---|
| Authors: | Derrick, John, Schellhorn, Gerhard, Wehrheim, Heike |
| Source: | ACM Transactions on Programming Languages & Systems; 2011, Vol. 33 Issue 1, p4-1-4-43, 43p |
| Database: | Applied Science & Technology Source |
Be the first to leave a comment!
