Kevin Lano, Pauline Kan, Ana Sánchez. Linking Hazard Analysis to Formal Specification and Design in B. In Wolfgang D. Ehrenberger, editor, Computer Safety, Reliability and Security, 17th International Conference, SAFECOMP 98, Heidelberg, Germany, October 5-7, 1998, Proceedings. Volume 1516 of Lecture Notes in Computer Science, pages 60-74, Springer, 1998. [doi]
Abstract is missing.