Sunday, January 5, 2014

DS-Event-B-2012: Workshop on the experience of and advances in developing dependable systems in Event-B

http://research.nii.ac.jp/eventb2012/index.html

Proceedings :
http://www.cs.ncl.ac.uk/publications/trs/papers/1355.pdf

No comments: