"Verifying Optimistic Concurrency: Prophecy Variables and Backward Reasoning."

Serdar Tasiran, Ali Sezgin, Shaz Qadeer (2009)

Details and statistics

DOI:

access: open

type: Informal or Other Publication

metadata version: 2018-08-23