eBook
Formal Specification and Verification of JDK’s Identity Hash Map Implementation
| Title: | Formal Specification and Verification of JDK’s Identity Hash Map Implementation |
|---|---|
| Authors: | Boer, Martin deAff9, Gouw, Stijn deAff9, Klamroth, JonasAff10, Jung, ChristianAff11, Ulbrich, MattiasAff11, Weigl, AlexanderAff11 |
| Contributors: | Goos, Gerhard, Founding EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Yung, Moti, Editorial Board MemberAff6, ter Beek, Maurice H., editorAff7, Monahan, Rosemary, editorAff8 |
| Source: | Integrated Formal Methods : 17th International Conference, IFM 2022, Lugano, Switzerland, June 7–10, 2022, Proceedings. 13274:45-62 |
| Database: | Springer Nature eBooks |
| ISBN: | 9783031077265 9783031077272 |
|---|---|
| DOI: | 10.1007/978-3-031-07727-2_4 |