Patrick John Graydon. Formal Assurance Arguments: A Solution in Search of a Problem?. In 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2015, Rio de Janeiro, Brazil, June 22-25, 2015. pages 517-528, IEEE, 2015. [doi]
Abstract is missing.