@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
Author(s): | Jonas Schiffl |
---|---|
School: | Karlsruhe Institute of Technology |
Year: | 2016 |