Eunsuk Kang, Daniel Jackson. Dependability Arguments with Trusted Bases. In RE 2010, 18th IEEE International Requirements Engineering Conference, Sydney, New South Wales, Australia, September 27 - October 1, 2010. pages 262-271, IEEE Computer Society, 2010. [doi]
Abstract is missing.