TU Darmstadt / ULB / TUbiblio

OpenJDK's Java.utils.Collection.sort() Is Broken: The Good, the Bad and the Worst Case

de Gouw, Stijn and Rot, Jurriaan and de Boer, Frank S. and Bubel, Richard and Hähnle, Reiner Kroening, Daniel and Pasareanu, Corina S. (eds.) (2015):
OpenJDK's Java.utils.Collection.sort() Is Broken: The Good, the Bad and the Worst Case.
In: Lecture Notes in Computer Science, 9206, Springer, In: Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I, pp. 273-289, DOI: 10.1007/978-3-319-21690-4₁₆,
[Online-Edition: https://doi.org/10.1007/978-3-319-21690-4_16],
[Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2015
Editors: Kroening, Daniel and Pasareanu, Corina S.
Creators: de Gouw, Stijn and Rot, Jurriaan and de Boer, Frank S. and Bubel, Richard and Hähnle, Reiner
Title: OpenJDK's Java.utils.Collection.sort() Is Broken: The Good, the Bad and the Worst Case
Language: German
Series Name: Lecture Notes in Computer Science
Volume: 9206
Publisher: Springer
Divisions: 20 Department of Computer Science > Software Engineering
20 Department of Computer Science
Event Title: Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
Date Deposited: 27 Apr 2018 10:48
DOI: 10.1007/978-3-319-21690-4₁₆
Official URL: https://doi.org/10.1007/978-3-319-21690-4_16
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)

View Item View Item