Proofs and Refutations for Probabilistic Refinement.

A. K. McIver, Carroll C. Morgan, Carlos Gonzala

Browse the full FM paper archive.