ACM Computing Surveys

Posted By admin on Jun 24, 2015 in Uncategorized


Brijesh Dongol and John Derricks paper entitled “Verifying linearizability: A comparative survey” was accepted by ACM Computing Surveys.