Yuliya Prokhorova, Elena Troubitsyna. Linking Modelling in Event-B with Safety Cases. In Paris Avgeriou, editor, Software Engineering for Resilient Systems - 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings. Volume 7527 of Lecture Notes in Computer Science, pages 47-62, Springer, 2012. [doi]
Abstract is missing.