James M. Armstrong, Stephen Paynter. The Deconstruction of Safety Arguments Through Adversarial Counter-Argument. 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 3-16, Springer, 2004. [doi]
Abstract is missing.