Wenhua, Li;
Le, Quang Loc;
Yahui, Song;
Wei-Ngan, Chin;
(2025)
Inferring Incorrectness Speci cations for Object-Oriented Programs.
In:
International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS).
Springer: Cham, Swotzerland.
(In press).
![[thumbnail of TACAS25.pdf]](https://discovery.ucl.ac.uk/style/images/fileicons/text.png) |
Text
TACAS25.pdf - Accepted Version Access restricted to UCL open access staff until 6 September 2025. Download (517kB) |
| Type: | Proceedings paper |
|---|---|
| Title: | Inferring Incorrectness Speci cations for Object-Oriented Programs |
| Language: | English |
| Additional information: | This version is the author accepted manuscript. For information on re-use, please refer to the publisher’s terms and conditions. |
| UCL classification: | UCL UCL > Provost and Vice Provost Offices > UCL BEAMS UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science > Dept of Computer Science |
| URI: | https://discovery.ucl.ac.uk/id/eprint/10203288 |
Downloads since deposit
Loading...Download activity - last month
Loading...Download activity - last 12 months
Loading...Downloads by country - last 12 months
Loading...Archive Staff Only
 |
View Item |
