Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Publications

Dual Pivot Quicksort: Specification and Verification Using KeY

Bachelor's Thesis
Author(s):Jonas Schiffl
School:Karlsruhe Institute of Technology
Year: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}
}