@misc{indiciae11199234b07e,
  title = {On using VeriFast, VerCors, Plural, and KeY to check object usage},
  author = {João Mota and Marco Giunti and António Ravara},
  year = {2023},
  url = {https://arxiv.org/abs/2209.05136},
  note = {Source identifier: 2209.05136}
}