TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 4.

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)
doi: 10.1007/s10817-017-9426-4
Article, Bibliographie

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
Article, Bibliographie

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

Gouw, Stijn de ; Rot, Jurriaan ; de Boer, Frank S. ; Bubel, Richard ; Hähnle, Reiner
eds.: Kroening, Daniel ; Pasareanu, Corina S. (2015)
OpenJDK's Java.utils.Collection.sort() Is Broken: The Good, the Bad and the Worst Case.
Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I.
doi: 10.1007/978-3-319-21690-4_16
Conference or Workshop Item, Bibliographie

This list was generated on Tue Dec 10 01:45:46 2024 CET.