TY  - INPR
A1  - Wenhua, Li
A1  - Le, Quang Loc
A1  - Yahui, Song
A1  - Wei-Ngan, Chin
T3  - Lecture Notes in Computer Science (LNCS)
CY  - Cham, Swotzerland
UR  - https://discovery.ucl.ac.uk/id/eprint/10203288/
PB  - Springer
ID  - discovery10203288
N1  - This version is the author accepted manuscript. For information on re-use, please refer to the publisher?s terms and conditions.
AV  - restricted
Y1  - 2025/05/05/
TI  - Inferring Incorrectness Speci cations for Object-Oriented Programs
ER  -