Lars-Henrik Eriksson. Using Formal Methods in a Retrospective Safety Case. In Maritta Heisel, Peter Liggesmeyer, Stefan Wittmann, editors, Computer Safety, Reliability, and Security, 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24, 2004, Proceedings. Volume 3219 of Lecture Notes in Computer Science, pages 31-44, Springer, 2004. [doi]
Abstract is missing.