Sinduran Sivarajan

Quicksort Revisited - Verifying Alternative Versions of Quicksort

Sophia Drossopoulou, K. Rustan M. Leino, Mark J. Wheelhouse, 2016, Theory and Practice of Formal Methods.