A Generic Approach to the Verification of the Permutation Property of Sequential and Parallel Swap-Based Sorting Algorithms.

Mohsen Safari, Marieke Huisman

Browse the full IFM paper archive.