@misc{indiciaea1416b70ca50,
  title = {A Hoare Logic with Regular Behavioral Specifications},
  author = {Gidon Ernst and Alexander Knapp and Toby Murray},
  year = {2022},
  url = {https://arxiv.org/abs/2205.06584},
  note = {Source identifier: 2205.06584}
}