@misc{indiciaef7238713b237,
  title = {Towards Trace-based Deductive Verification (Tech Report)},
  author = {Richard Bubel and Dilian Gurov and Reiner Hähnle and Marco Scaletta},
  year = {2022},
  url = {https://arxiv.org/abs/2211.09487},
  note = {Source identifier: 2211.09487}
}