Improving SMT Solver Integrations for the Validation of B and Event-B Models.

Joshua Schmidt, Michael Leuschel

Browse the full FMICS paper archive.