@misc{indiciae250a08cbe74a,
  title = {Operational semantics and program verification using many-sorted hybrid modal logic},
  author = {Ioana Leustean and Natalia Moanga and Traian Florin Serbanuta},
  year = {2025},
  url = {https://arxiv.org/abs/1905.05036},
  note = {Source identifier: 1905.05036}
}