Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%0 Conference Paper
%1 conf/ifm/BoerGKJUW22
%A de Boer, Martin
%A de Gouw, Stijn
%A Klamroth, Jonas
%A Jung, Christian
%A Ulbrich, Mattias
%A Weigl, Alexander
%B IFM
%D 2022
%E ter Beek, Maurice H.
%E Monahan, Rosemary
%I Springer
%K dblp
%P 45-62
%T Formal Specification and Verification of JDK's Identity Hash Map Implementation.
%U http://dblp.uni-trier.de/db/conf/ifm/ifm2022.html#BoerGKJUW22
%V 13274
%@ 978-3-031-07727-2
@inproceedings{conf/ifm/BoerGKJUW22,
added-at = {2024-05-08T00:00:00.000+0200},
author = {de Boer, Martin and de Gouw, Stijn and Klamroth, Jonas and Jung, Christian and Ulbrich, Mattias and Weigl, Alexander},
biburl = {https://www.bibsonomy.org/bibtex/268092b4836ec1e5507daec7a1899117a/dblp},
booktitle = {IFM},
crossref = {conf/ifm/2022},
editor = {ter Beek, Maurice H. and Monahan, Rosemary},
ee = {https://doi.org/10.1007/978-3-031-07727-2_4},
interhash = {2d05066699df085013b0832affa49340},
intrahash = {68092b4836ec1e5507daec7a1899117a},
isbn = {978-3-031-07727-2},
keywords = {dblp},
pages = {45-62},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2024-05-13T10:18:04.000+0200},
title = {Formal Specification and Verification of JDK's Identity Hash Map Implementation.},
url = {http://dblp.uni-trier.de/db/conf/ifm/ifm2022.html#BoerGKJUW22},
volume = 13274,
year = 2022
}