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).
cs.SE↗