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

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