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]
@inproceedings{VigerSSC20,
title = {Just Enough Formality in Assurance Argument Structures},
author = {Torin Viger and Rick Salay and Gehan M. K. Selim and Marsha Chechik},
year = {2020},
doi = {10.1007/978-3-030-54549-9_3},
url = {https://doi.org/10.1007/978-3-030-54549-9_3},
researchr = {https://researchr.org/publication/VigerSSC20},
cites = {0},
citedby = {0},
pages = {34-49},
booktitle = {Computer Safety, Reliability, and Security - 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16-18, 2020, Proceedings},
editor = {António Casimiro and Frank Ortmeier and Friedemann Bitsch and Pedro Ferreira 0005},
volume = {12234},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-030-54549-9},
}