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