TY  - RPRT
TI  - Model exploration and analysis for quantitative safety refinement in probabilistic B
AU  - Ukachukwu Ndukwu
AU  - Annabelle McIver
PY  - 2011
DO  - 10.4204/eptcs.55.7
UR  - https://arxiv.org/abs/1106.4096
ID  - 1106.4096
ER  -