@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
%%SNIP
,find_pdf = {vstte2017.pdf}
}