%0 Generic
%A Wenhua, Li
%A Le, Quang Loc
%A Yahui, Song
%A Wei-Ngan, Chin
%C Cham, Swotzerland
%D 2025
%F discovery:10203288
%I Springer
%T Inferring Incorrectness Speci cations for Object-Oriented Programs
%U https://discovery.ucl.ac.uk/id/eprint/10203288/
%Z This version is the author accepted manuscript. For information on re-use, please refer to the publisher’s terms and conditions.