Formalizing randomized matching algorithms (0)

by D T M Lê, S A Cook
Venue:Logical Methods in Computer Science