Proceedings : workshop on the experience of and advances in developing dependable systems in Event-B /
Workshop on the experience of and advances in developing dependable systems in Event-B(2012 :Kyoto, Japan)
Ishikawa, Fuyuki.
Romanovsky, Alexander,1954-
University of Newcastle upon Tyne.School of Computing Science.
Newcastle upon Tyne : University of Newcastle upon Tyne,
2012.
"Computing Science"--Cover.
"October 2012"--Cover.
Includes bibliographic references.