Formalizing Randomized Matching Algorithms.

Dai Tri Man Le, Stephen A. Cook

Browse the full LICS paper archive.