Repairing Event-B Models Through Quantifier Elimination.

Tsutomu Kobayashi, Fuyuki Ishikawa

Browse the full ICFEM paper archive.