A Universal Technique for Machine-Certified Proofs of Linearizable Algorithms

Re-assign community