TU Darmstadt / ULB / TUbiblio

Verifying OpenJDK's Sort Method for Generic Collections

de Gouw, Stijn and de Boer, Frank S. and Bubel, Richard and Hähnle, Reiner and Rot, Jurriaan and Steinhöfel, Dominic (2019):
Verifying OpenJDK's Sort Method for Generic Collections.
In: J. Autom. Reasoning, 62 (1), pp. 93-126, DOI: 10.1007/s10817-017-9426-4,
[Online-Edition: https://doi.org/10.1007/s10817-017-9426-4],
[Article]

Item Type: Article
Erschienen: 2019
Creators: de Gouw, Stijn and de Boer, Frank S. and Bubel, Richard and Hähnle, Reiner and Rot, Jurriaan and Steinhöfel, Dominic
Title: Verifying OpenJDK's Sort Method for Generic Collections
Language: English
Journal or Publication Title: J. Autom. Reasoning
Volume: 62
Number: 1
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Software Engineering
Date Deposited: 29 Nov 2019 06:46
DOI: 10.1007/s10817-017-9426-4
Official URL: https://doi.org/10.1007/s10817-017-9426-4
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)
Show editorial Details Show editorial Details