TU Darmstadt / ULB / TUbiblio

Verifying OpenJDK's Sort Method for Generic Collections

Gouw, Stijn de ; de Boer, Frank S. ; Bubel, Richard ; Hähnle, Reiner ; Rot, Jurriaan ; Steinhöfel, Dominic (2019)
Verifying OpenJDK's Sort Method for Generic Collections.
In: J. Autom. Reasoning, 62 (1)
doi: 10.1007/s10817-017-9426-4
Artikel, Bibliographie

Typ des Eintrags: Artikel
Erschienen: 2019
Autor(en): Gouw, Stijn de ; de Boer, Frank S. ; Bubel, Richard ; Hähnle, Reiner ; Rot, Jurriaan ; Steinhöfel, Dominic
Art des Eintrags: Bibliographie
Titel: Verifying OpenJDK's Sort Method for Generic Collections
Sprache: Englisch
Publikationsjahr: 2019
Titel der Zeitschrift, Zeitung oder Schriftenreihe: J. Autom. Reasoning
Jahrgang/Volume einer Zeitschrift: 62
(Heft-)Nummer: 1
DOI: 10.1007/s10817-017-9426-4
URL / URN: https://doi.org/10.1007/s10817-017-9426-4
Fachbereich(e)/-gebiet(e): 20 Fachbereich Informatik
20 Fachbereich Informatik > Software Engineering
Hinterlegungsdatum: 29 Nov 2019 06:46
Letzte Änderung: 27 Jul 2021 16:17
PPN:
Export:
Suche nach Titel in: TUfind oder in Google
Frage zum Eintrag Frage zum Eintrag

Optionen (nur für Redakteure)
Redaktionelle Details anzeigen Redaktionelle Details anzeigen