TU Darmstadt / ULB / TUbiblio

Verifying OpenJDK's Sort Method for Generic Collections

Gouw, Stijn de ; de Boer, Frank S. ; Bubel, Richard ; Rot, Jurriaan ; 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,
[Article]

Item Type: Article
Erschienen: 2019
Creators: Gouw, Stijn de ; de Boer, Frank S. ; Bubel, Richard ; Rot, Jurriaan ; Steinhöfel, Dominic
Title: Verifying OpenJDK's Sort Method for Generic Collections
Language: English
Journal or Publication Title: J. Autom. Reasoning
Journal volume: 62
Number: 1
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Software Engineering
Date Deposited: 18 Oct 2019 08:17
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