A Generic Theorem Prover of CSP Refinement.

Yoshinao Isobe, Markus Roggenbach

Browse the full TACAS paper archive.