133
click to vote
IFM
2010
Springer
15 years 26 days ago
2010
Springer
Abstract. Event-B provides us with a powerful framework for correctby-construction system development. However, while developing dependable systems we should not only guarantee the...