@InProceedings{BeckertSchifflEA2017,
title = {Proving {JDK's} Dual Pivot Quicksort Correct},
author = {Bernhard Beckert and Jonas Schiffl and Peter H. Schmitt
and Mattias Ulbrich},
booktitle = {9th Working Conference on Verified Software: Theories, Tools, and Experiments ({VSTTE} 2017)},
year = 2017,
month = jul
}
Proving JDK's Dual Pivot Quicksort Correct
| Autor(en): | Bernhard Beckert, Jonas Schiffl, Peter H. Schmitt und Mattias Ulbrich |
|---|---|
| In: | 9th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2017) |
| Jahr: | 2017 |
| Preprint/PDF: | vstte2017.pdf |