Verifying OpenJDK’s LinkedList using KeY

Thumbnail
Fulltext:
219372.pdf
Size:
318.0Kb
Format:
PDF
Description:
Publisher’s version
Download
Publication year
2020
Author(s)
Hiep, H.-D.
Maathuis, O.
Bian, J.
Boer, F. de
Eekelen, M. van
Gouw, S de
Publisher
Cham : Springer
In
Lecture Notes in Computer Science, (2020)Biere, A. (ed.), Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II, pp. 217-234
ISSN
DOI
Annotation
TACAS 2020
Publication type
Article in monograph or in proceedings
If a DOI or any other persistent identifier is unavailable, please use the following repository identifier to link to this item: https://hdl.handle.net/2066/219372   https://hdl.handle.net/2066/219372
Display more details

Upload full text

Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.