Recurring Comparison Faults: Sorting and Finding the Minimum.

Barbara Geissmann, Mats Mihalk, Peter Widmayer

Browse the full FCT paper archive.