Gouw, Stijn de ; Rot, Jurriaan ; de Boer, Frank S. ; Bubel, Richard ; Hähnle, Reiner
Hrsg.: 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
Konferenzveröffentlichung, Bibliographie

Ahrendt, Wolfgang ; Beckert, Bernhard ; Bruns, Daniel ; Bubel, Richard ; Gladisch, Christoph ; Grebing, Sarah ; Hähnle, Reiner ; Hentschel, Martin ; Klebanov, Vladimir ; Mostowski, Wojciech ; Scheben, Christoph ; Schmitt, Peter ; Ulbrich, Mattias
Hrsg.: Giannakopoulou, Dimitra ; Kroening, Daniel (2014)
The KeY Platform for Verification and Analysis of Java Programs.
Konferenzveröffentlichung, Bibliographie