<> <http://www.w3.org/2000/01/rdf-schema#comment> "The repository administrator has not yet configured an RDF license."^^<http://www.w3.org/2001/XMLSchema#string> .
<> <http://xmlns.com/foaf/0.1/primaryTopic> <https://discovery.ucl.ac.uk/id/eprint/10203288> .
<https://discovery.ucl.ac.uk/id/eprint/10203288> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Article> .
<https://discovery.ucl.ac.uk/id/eprint/10203288> <http://purl.org/dc/terms/title> "Inferring Incorrectness Speci cations for Object-Oriented Programs"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10203288> <http://purl.org/dc/terms/date> "2025-05-05" .
<https://discovery.ucl.ac.uk/id/document/1816511> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Document> .
<https://discovery.ucl.ac.uk/id/org/ext-1c5ddec173ca8cdfba8b274309638579> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Organization> .
<https://discovery.ucl.ac.uk/id/org/ext-1c5ddec173ca8cdfba8b274309638579> <http://xmlns.com/foaf/0.1/name> "Springer"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10203288> <http://purl.org/dc/terms/publisher> <https://discovery.ucl.ac.uk/id/org/ext-1c5ddec173ca8cdfba8b274309638579> .
<https://discovery.ucl.ac.uk/id/eprint/10203288> <http://purl.org/ontology/bibo/status> <http://purl.org/ontology/bibo/status/forthcoming> .
<https://discovery.ucl.ac.uk/id/eprint/10203288> <http://purl.org/dc/terms/creator> <https://discovery.ucl.ac.uk/id/person/ext-e51cfa42447952969ba3f00c46fad976> .
<https://discovery.ucl.ac.uk/id/eprint/10203288> <http://purl.org/ontology/bibo/authorList> <https://discovery.ucl.ac.uk/id/eprint/10203288#authors> .
<https://discovery.ucl.ac.uk/id/eprint/10203288#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_1> <https://discovery.ucl.ac.uk/id/person/ext-e51cfa42447952969ba3f00c46fad976> .
<https://discovery.ucl.ac.uk/id/eprint/10203288> <http://purl.org/dc/terms/creator> <https://discovery.ucl.ac.uk/id/person/ext-751a670169931bf4a3b6b4c7ab8690db> .
<https://discovery.ucl.ac.uk/id/eprint/10203288> <http://purl.org/ontology/bibo/authorList> <https://discovery.ucl.ac.uk/id/eprint/10203288#authors> .
<https://discovery.ucl.ac.uk/id/eprint/10203288#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_2> <https://discovery.ucl.ac.uk/id/person/ext-751a670169931bf4a3b6b4c7ab8690db> .
<https://discovery.ucl.ac.uk/id/eprint/10203288> <http://purl.org/dc/terms/creator> <https://discovery.ucl.ac.uk/id/person/ext-acb52fb6554098f5e986a9534c607f39> .
<https://discovery.ucl.ac.uk/id/eprint/10203288> <http://purl.org/ontology/bibo/authorList> <https://discovery.ucl.ac.uk/id/eprint/10203288#authors> .
<https://discovery.ucl.ac.uk/id/eprint/10203288#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_3> <https://discovery.ucl.ac.uk/id/person/ext-acb52fb6554098f5e986a9534c607f39> .
<https://discovery.ucl.ac.uk/id/eprint/10203288> <http://purl.org/dc/terms/creator> <https://discovery.ucl.ac.uk/id/person/ext-678bd1c2ee8b26ea6c641e8e4267d31d> .
<https://discovery.ucl.ac.uk/id/eprint/10203288> <http://purl.org/ontology/bibo/authorList> <https://discovery.ucl.ac.uk/id/eprint/10203288#authors> .
<https://discovery.ucl.ac.uk/id/eprint/10203288#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_4> <https://discovery.ucl.ac.uk/id/person/ext-678bd1c2ee8b26ea6c641e8e4267d31d> .
<https://discovery.ucl.ac.uk/id/person/ext-acb52fb6554098f5e986a9534c607f39> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<https://discovery.ucl.ac.uk/id/person/ext-acb52fb6554098f5e986a9534c607f39> <http://xmlns.com/foaf/0.1/givenName> "Song"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-acb52fb6554098f5e986a9534c607f39> <http://xmlns.com/foaf/0.1/familyName> "Yahui"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-acb52fb6554098f5e986a9534c607f39> <http://xmlns.com/foaf/0.1/name> "Song Yahui"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-751a670169931bf4a3b6b4c7ab8690db> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<https://discovery.ucl.ac.uk/id/person/ext-751a670169931bf4a3b6b4c7ab8690db> <http://xmlns.com/foaf/0.1/givenName> "Quang Loc"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-751a670169931bf4a3b6b4c7ab8690db> <http://xmlns.com/foaf/0.1/familyName> "Le"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-751a670169931bf4a3b6b4c7ab8690db> <http://xmlns.com/foaf/0.1/name> "Quang Loc Le"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-e51cfa42447952969ba3f00c46fad976> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<https://discovery.ucl.ac.uk/id/person/ext-e51cfa42447952969ba3f00c46fad976> <http://xmlns.com/foaf/0.1/givenName> "Li"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-e51cfa42447952969ba3f00c46fad976> <http://xmlns.com/foaf/0.1/familyName> "Wenhua"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-e51cfa42447952969ba3f00c46fad976> <http://xmlns.com/foaf/0.1/name> "Li Wenhua"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-678bd1c2ee8b26ea6c641e8e4267d31d> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<https://discovery.ucl.ac.uk/id/person/ext-678bd1c2ee8b26ea6c641e8e4267d31d> <http://xmlns.com/foaf/0.1/givenName> "Chin"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-678bd1c2ee8b26ea6c641e8e4267d31d> <http://xmlns.com/foaf/0.1/familyName> "Wei-Ngan"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-678bd1c2ee8b26ea6c641e8e4267d31d> <http://xmlns.com/foaf/0.1/name> "Chin Wei-Ngan"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10203288> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/EPrint> .
<https://discovery.ucl.ac.uk/id/eprint/10203288> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/ProceedingsSectionEPrint> .
<https://discovery.ucl.ac.uk/id/eprint/10203288> <http://purl.org/dc/terms/isPartOf> <https://discovery.ucl.ac.uk/id/repository> .
<https://discovery.ucl.ac.uk/id/eprint/10203288> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1816511> .
<https://discovery.ucl.ac.uk/id/document/1816511> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/1816511> <http://www.w3.org/2000/01/rdf-schema#label> "Inferring Incorrectness Speci cations for Object-Oriented Programs (Text)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10203288> <http://purl.org/dc/elements/1.1/hasVersion> <https://discovery.ucl.ac.uk/id/document/1816511> .
<https://discovery.ucl.ac.uk/id/eprint/10203288> <http://eprints.org/ontology/hasAccepted> <https://discovery.ucl.ac.uk/id/document/1816511> .
<https://discovery.ucl.ac.uk/id/eprint/10203288> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1816512> .
<https://discovery.ucl.ac.uk/id/document/1816512> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/1816512> <http://www.w3.org/2000/01/rdf-schema#label> "Inferring Incorrectness Speci cations for Object-Oriented Programs (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/1816512> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/1816511> .
<https://discovery.ucl.ac.uk/id/document/1816512> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/1816511> .
<https://discovery.ucl.ac.uk/id/document/1816512> <http://eprints.org/relation/isIndexCodesVersionOf> <https://discovery.ucl.ac.uk/id/document/1816511> .
<https://discovery.ucl.ac.uk/id/document/1816512> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10203288/2/indexcodes.txt> .
<https://discovery.ucl.ac.uk/id/document/1816512> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10203288/2/indexcodes.txt> .
<https://discovery.ucl.ac.uk/id/eprint/10203288/2/indexcodes.txt> <http://www.w3.org/2000/01/rdf-schema#label> "indexcodes.txt"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10203288> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1816513> .
<https://discovery.ucl.ac.uk/id/document/1816513> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/1816513> <http://www.w3.org/2000/01/rdf-schema#label> "Inferring Incorrectness Speci cations for Object-Oriented Programs (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/1816513> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/1816511> .
<https://discovery.ucl.ac.uk/id/document/1816513> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/1816511> .
<https://discovery.ucl.ac.uk/id/document/1816513> <http://eprints.org/relation/islightboxThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/1816511> .
<https://discovery.ucl.ac.uk/id/document/1816513> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10203288/3/lightbox.jpg> .
<https://discovery.ucl.ac.uk/id/document/1816513> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10203288/3/lightbox.jpg> .
<https://discovery.ucl.ac.uk/id/eprint/10203288/3/lightbox.jpg> <http://www.w3.org/2000/01/rdf-schema#label> "lightbox.jpg"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10203288> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1816514> .
<https://discovery.ucl.ac.uk/id/document/1816514> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/1816514> <http://www.w3.org/2000/01/rdf-schema#label> "Inferring Incorrectness Speci cations for Object-Oriented Programs (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/1816514> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/1816511> .
<https://discovery.ucl.ac.uk/id/document/1816514> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/1816511> .
<https://discovery.ucl.ac.uk/id/document/1816514> <http://eprints.org/relation/ispreviewThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/1816511> .
<https://discovery.ucl.ac.uk/id/document/1816514> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10203288/4/preview.jpg> .
<https://discovery.ucl.ac.uk/id/document/1816514> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10203288/4/preview.jpg> .
<https://discovery.ucl.ac.uk/id/eprint/10203288/4/preview.jpg> <http://www.w3.org/2000/01/rdf-schema#label> "preview.jpg"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10203288> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1816515> .
<https://discovery.ucl.ac.uk/id/document/1816515> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/1816515> <http://www.w3.org/2000/01/rdf-schema#label> "Inferring Incorrectness Speci cations for Object-Oriented Programs (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/1816515> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/1816511> .
<https://discovery.ucl.ac.uk/id/document/1816515> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/1816511> .
<https://discovery.ucl.ac.uk/id/document/1816515> <http://eprints.org/relation/ismediumThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/1816511> .
<https://discovery.ucl.ac.uk/id/document/1816515> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10203288/5/medium.jpg> .
<https://discovery.ucl.ac.uk/id/document/1816515> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10203288/5/medium.jpg> .
<https://discovery.ucl.ac.uk/id/eprint/10203288/5/medium.jpg> <http://www.w3.org/2000/01/rdf-schema#label> "medium.jpg"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10203288> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1816516> .
<https://discovery.ucl.ac.uk/id/document/1816516> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/1816516> <http://www.w3.org/2000/01/rdf-schema#label> "Inferring Incorrectness Speci cations for Object-Oriented Programs (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/1816516> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/1816511> .
<https://discovery.ucl.ac.uk/id/document/1816516> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/1816511> .
<https://discovery.ucl.ac.uk/id/document/1816516> <http://eprints.org/relation/issmallThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/1816511> .
<https://discovery.ucl.ac.uk/id/document/1816516> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10203288/6/small.jpg> .
<https://discovery.ucl.ac.uk/id/document/1816516> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10203288/6/small.jpg> .
<https://discovery.ucl.ac.uk/id/eprint/10203288/6/small.jpg> <http://www.w3.org/2000/01/rdf-schema#label> "small.jpg"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10203288> <http://www.w3.org/2000/01/rdf-schema#seeAlso> <https://discovery.ucl.ac.uk/id/eprint/10203288/> .
<https://discovery.ucl.ac.uk/id/eprint/10203288/> <http://purl.org/dc/elements/1.1/title> "HTML Summary of #10203288 \n\nInferring Incorrectness Speci cations for Object-Oriented Programs\n\n" .
<https://discovery.ucl.ac.uk/id/eprint/10203288/> <http://purl.org/dc/elements/1.1/format> "text/html" .
<https://discovery.ucl.ac.uk/id/eprint/10203288/> <http://xmlns.com/foaf/0.1/primaryTopic> <https://discovery.ucl.ac.uk/id/eprint/10203288> .