Ken Wong, Jeff Joyce. Refinement of Safety-Related Hazards into Verifiable Code Assertions. 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 345-358, Springer, 1998. [doi]
Abstract is missing.