Proceedings: Workshop on the experience of and advances in developing   dependable systems in Event-B (DS-Event-B 2012)
  These proceedings include papers presented at the Workshop on "The experience of and advances in developing dependable systems in Event-B" held on November 13, 2012 as part of the ICFEM 2012 (Kyoto, Japan). 
Fuyuki Ishikawa, Alexander Romanovsky
cs.SE