Proving JDK’s Dual Pivot Quicksort Correct

Lecture Notes in Computer Science - Verified Software. Theories, Tools, and Experiments ◽

10.1007/978-3-319-72308-2_3 ◽

2017 ◽

pp. 35-48 ◽

Cited By ~ 4

Author(s):

Bernhard Beckert ◽

Jonas Schiffl ◽

Peter H. Schmitt ◽

Mattias Ulbrich

Download Full-text