History-Based Specification and Verification of Java Collections in KeY

The work

TitleHistory-Based Specification and Verification of Java Collections in KeY
AuthorsHans-Dieter A. Hiep; Jinting Bian; Frank S. de Boer; Stijn de Gouw
Typeconference paper
Year2020
Citekeyhiep2020historybased

Where it appeared

Published inIntegrated Formal Methods
PublisherSpringer
Pages199--217

Identifiers

DOI10.1007/978-3-030-63461-2_11
OpenAlexW3100554104

Access

Landing pagehttps://doi.org/10.1007/978-3-030-63461-2_11
Free full texthttps://ir.cwi.nl/pub/29970/29970.pdf

Copy held

KindPDF, 299.0 kB
Retrieved2026-08-05
Heldlocal, for personal reference
Where it came fromhttps://ir.cwi.nl/pub/29970/29970.pdf

Where this came from

How it got herethe agent went looking · found via openalex
First seen2026-08-04
Standingendorsed
Approved2026-08-07
In: Integrated Formal Methods (iFM) venue Lecture Notes in Computer Science series

Cite it as

@inproceedings{hiep2020historybased,
  title = {History-Based Specification and Verification of Java Collections in KeY},
  author = {Hans-Dieter A. Hiep and Jinting Bian and Frank S. de Boer and Stijn de Gouw},
  year = {2020},
  booktitle = {Integrated Formal Methods},
  pages = {199--217},
  publisher = {Springer},
  doi = {10.1007/978-3-030-63461-2_11},
  url = {https://ir.cwi.nl/pub/29970/29970.pdf},
}

This record lives at https://refs.drheap.org/hiep2020historybased/ and will keep doing so.