A Fully Verified Container Library

The work

AuthorsNadia Polikarpova; Julian Tschannen; Carlo A. Furia
Editors
Typeinproceedings
Year2015
Citekeypolikarpova2015fully

Where it appeared

Published inFM 2015: Formal Methods
PublisherSpringer
Pages414--434

Identifiers

DOI10.1007/978-3-319-19249-9_26
OpenAlexW3022311845

Access

Landing pagehttps://doi.org/10.1007/978-3-319-19249-9_26

How it got here

How it got hereagent via openalex
Added2026-08-04 00:00 UTC
Approved bya person 2026-08-07 23:29 UTC

Filed under

fm lncs verifying-real-java

Cite it as

@inproceedings{polikarpova2015fully,
  title        = {A Fully Verified Container Library},
  author       = {Nadia Polikarpova and Julian Tschannen and Carlo A. Furia},
  year         = {2015},
  booktitle    = {FM 2015: Formal Methods},
  publisher    = {Springer},
  pages        = {414--434},
  doi          = {10.1007/978-3-319-19249-9_26},
}

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