Equivalence Checking of Non-deterministic Operations.

Sergio Antoy, Michael Hanus

Browse the full FLOPS paper archive.