Yutaka Matsuno. A Design and Implementation of an Assurance Case Language. In 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2014, Atlanta, GA, USA, June 23-26, 2014. pages 630-641, IEEE, 2014. [doi]
Abstract is missing.