John Rushby. Mechanized Support for Assurance Case Argumentation. In Yukiko Nakano, Ken Satoh, Daisuke Bekki, editors, New Frontiers in Artificial Intelligence - JSAI-isAI 2013 Workshops, LENLS, JURISIN, MiMI, AAA, and DDS, Kanagawa, Japan, October 27-28, 2013, Revised Selected Papers. Volume 8417 of Lecture Notes in Computer Science, pages 304-318, Springer, 2013. [doi]
Abstract is missing.