TY  - RPRT
TI  - Proving False in Object-Oriented Verification Programs by Exploiting Non-Termination
AU  - Jaymon Furniss
PY  - 2022
UR  - https://arxiv.org/abs/2212.02605
ID  - 2212.02605
ER  -