Empowering the Event-B Method Using External Theories.

Yamine At Ameur, Guillaume Dupont, Ismal Mendil, Dominique Mry, Marc Pantel, Peter Riviere, Neeraj Kumar Singh

Browse the full IFM paper archive.