Home  |  deutsch  |  Legals  |  Data Protection  |  Sitemap  |  KIT

Proving JDK's Dual Pivot Quicksort Correct

Reviewed Paper In Proceedings

Author(s):Bernhard Beckert, Jonas Schiffl, Peter H. Schmitt, and Mattias Ulbrich
In:9th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2017)
Year:2017
Preprint/PDF:vstte2017.pdf

BibTeX

@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
}