@misc{indiciaee25a72f010ba,
  title = {A Framework for Modelling, Verification and Transformation of Concurrent Imperative Programs},
  author = {Maksym Bortin},
  year = {2024},
  url = {https://arxiv.org/abs/2007.02261},
  note = {Source identifier: 2007.02261}
}