TY  - RPRT
TI  - Towards Refinement Strategy Planning for Event-B
AU  - Tsutomu Kobayashi
AU  - Shinichi Honiden
PY  - 2012
UR  - https://arxiv.org/abs/1210.7036
ID  - 1210.7036
ER  -