Torin Viger, Rick Salay, Gehan M. K. Selim, Marsha Chechik. Just Enough Formality in Assurance Argument Structures. In António Casimiro, Frank Ortmeier, Friedemann Bitsch, Pedro Ferreira 0005, editors, Computer Safety, Reliability, and Security - 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16-18, 2020, Proceedings. Volume 12234 of Lecture Notes in Computer Science, pages 34-49, Springer, 2020. [doi]
Abstract is missing.