@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}
}
Dual Pivot Quicksort: Specification and Verification Using KeY
| Autor(en): | Jonas Schiffl |
|---|---|
| Hochschule: | Karlsruhe Institute of Technology |
| Jahr: | 2016 |