TY  - RPRT
TI  - An Event-B framework for the validation of Event-B refinement plugins
AU  - Jean-Paul Bodeveix
AU  - Mamoun Filali
AU  - Mohamed Tahar Bhiri
AU  - Badr Siala
PY  - 2017
UR  - https://arxiv.org/abs/1701.00960
ID  - 1701.00960
ER  -