TY  - RPRT
TI  - Refining interfaces: the case of the B method
AU  - David Deharbe
AU  - Bruno E. G. Gomes
AU  - Anamaria M. Moreira
PY  - 2009
UR  - https://arxiv.org/abs/0907.2039
ID  - 0907.2039
ER  -