Carmen Cârlan, Tewodros A. Beyene, Harald Ruess. Integrated Formal Methods for Constructing Assurance Cases. In 2016 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops 2016, Ottawa, ON, Canada, October 23-27, 2016. pages 221-228, IEEE Computer Society, 2016. [doi]
Abstract is missing.