Handling Refinement of Continuous Behaviors: A Proof Based Approach with Event-B.

Guillaume Dupont, Yamine At Ameur, Marc Pantel, Neeraj Kumar Singh

Browse the full TASE paper archive.