TY  - RPRT
TI  - Proceedings: Workshop on the experience of and advances in developing dependable systems in Event-B (DS-Event-B 2012)
AU  - Fuyuki Ishikawa
AU  - Alexander Romanovsky
PY  - 2012
UR  - https://arxiv.org/abs/1211.2259
ID  - 1211.2259
ER  -