Integrated Formal Methods for Constructing Assurance Cases

Carmen Carlan, Tewodros Beyene and Harald Rueß

2016 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), pp. 221–228

2016