@misc{indiciae42890fb11d9e,
  title = {A Universal Technique for Machine-Certified Proofs of Linearizable Algorithms},
  author = {Prasad Jayanti and Siddhartha Jayanti and Ugur Y. Yavuz and Lizzie Hernandez},
  year = {2023},
  url = {https://arxiv.org/abs/2302.00737},
  note = {Source identifier: 2302.00737}
}