%0 Conference Paper %1 conf/aplas/LiLSC23 %A Li, Wenhua %A Le, Quang Loc %A Song, Yahui %A Chin, Wei-Ngan %B APLAS %D 2023 %E Hur, Chung-Kil %I Springer %K dblp %P 269-289 %T Incorrectness Proofs for Object-Oriented Programs via Subclass Reflection. %U http://dblp.uni-trier.de/db/conf/aplas/aplas2023.html#LiLSC23 %V 14405 %@ 978-981-99-8311-7

@inproceedings{conf/aplas/LiLSC23, added-at = {2023-12-07T00:00:00.000+0100}, author = {Li, Wenhua and Le, Quang Loc and Song, Yahui and Chin, Wei-Ngan}, biburl = {https://www.bibsonomy.org/bibtex/2c853e353b6fc5096e2e0573eae17e191/dblp}, booktitle = {APLAS}, crossref = {conf/aplas/2023}, editor = {Hur, Chung-Kil}, ee = {https://doi.org/10.1007/978-981-99-8311-7_13}, interhash = {01c6bdaab0bca67b9ec0b4f59693523b}, intrahash = {c853e353b6fc5096e2e0573eae17e191}, isbn = {978-981-99-8311-7}, keywords = {dblp}, pages = {269-289}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-06-17T07:39:59.000+0200}, title = {Incorrectness Proofs for Object-Oriented Programs via Subclass Reflection.}, url = {http://dblp.uni-trier.de/db/conf/aplas/aplas2023.html#LiLSC23}, volume = 14405, year = 2023 }