Automatic Refinement Checking for B.

Michael Leuschel, Michael J. Butler

Browse the full ICFEM paper archive.