Shuichiro Yamamoto. Argument Algebra: A Formalization of Assurance Case Development. In Alla Kravets, Maxim Shcherbakov, Marina V. Kultsova, Tadashi Iijima, editors, Knowledge-Based Software Engineering - 11th Joint Conference, JCKBSE 2014, Volgograd, Russia, September 17-20, 2014. Proceedings. Volume 466 of Communications in Computer and Information Science, pages 717-725, Springer, 2014. [doi]
Abstract is missing.