TY  - RPRT
TI  - A Universal Technique for Machine-Certified Proofs of Linearizable Algorithms
AU  - Prasad Jayanti
AU  - Siddhartha Jayanti
AU  - Ugur Y. Yavuz
AU  - Lizzie Hernandez
PY  - 2023
UR  - https://arxiv.org/abs/2302.00737
ID  - 2302.00737
ER  -