Formally Verifying an Efficient Sorter.

Bernhard Beckert, Peter Sanders, Mattias Ulbrich, Julian Wiesler, Sascha Witt

Browse the full TACAS paper archive.