Verifying OpenJDK's LinkedList using KeY
Hiep, Hans-Dieter A, Maathuis, Olaf, Bian, Jinting, de Boer, Frank S, van Eekelen, Marko, de Gouw, Stijn
Year of Publication 11.11.2019
Year of Publication 11.11.2019
Get full text
Journal Article
Verifying OpenJDK's LinkedList using KeY
Hiep, Hans-Dieter A, Maathuis, Olaf, Bian, Jinting, de Boer, Frank S, Marko van Eekelen, de Gouw, Stijn
Published in arXiv.org (11.11.2019)
Get full text
Published in arXiv.org (11.11.2019)
Paper