Mechanically Verified Proof Obligations for Linearizability.

Saved in:

Bibliographic Details
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

Description
ISSN:	01640925