TY  - RPRT
TI  - On using VeriFast, VerCors, Plural, and KeY to check object usage
AU  - João Mota
AU  - Marco Giunti
AU  - António Ravara
PY  - 2023
UR  - https://arxiv.org/abs/2209.05136
ID  - 2209.05136
ER  -