@misc{indiciae56a0ae590e54,
  title = {Automated Conversion of Axiomatic to Operational Models: Theory and Practice},
  author = {Adwait Godbole and Yatin A. Manerkar and Sanjit A. Seshia},
  year = {2022},
  url = {https://arxiv.org/abs/2208.06733},
  note = {Source identifier: 2208.06733}
}