Dual Pivot Quicksort: Specification and Verification Using KeY

Bachelorarbeit

Autor(en):Jonas Schiffl
Hochschule:Karlsruhe Institute of Technology
Jahr:2016

BibTeX

@mastersThesis{SchifflBSc2016,
  author   = {Jonas Schiffl},
  title    = {Dual Pivot Quicksort: Specification and Verification Using {\KeY}},
  school   = {Karlsruhe Institute of Technology},
  month    = may,
  year     = {2016},
  type     = {bathesis},
  language = {english},
  location = {Karlsruhe, Germany}
}