Verifying Programs under Snapshot Isolation and Similar Relaxed Consistency ModelsPublished in TRANSACT, 2014Share on Twitter Facebook Google+ LinkedIn Previous Next