@misc{indiciae4be7c100580a,
  title = {S2TD: a Separation Logic Verifier that Supports Reasoning of the Absence and Presence of Bugs},
  author = {Quang Loc Le and Jun Sun and Long H. Pham and Shengchao Qin},
  year = {2022},
  url = {https://arxiv.org/abs/2209.09327},
  note = {Source identifier: 2209.09327}
}