%0 Conference Paper %1 conf/safecomp/VigerSSC20 %A Viger, Torin %A Salay, Rick %A Selim, Gehan M. K. %A Chechik, Marsha %B SAFECOMP %D 2020 %E Casimiro, António %E Ortmeier, Frank %E Bitsch, Friedemann %E Ferreira, Pedro %I Springer %K dblp %P 34-49 %T Just Enough Formality in Assurance Argument Structures. %U http://dblp.uni-trier.de/db/conf/safecomp/safecomp2020.html#VigerSSC20 %V 12234 %@ 978-3-030-54549-9

@inproceedings{conf/safecomp/VigerSSC20, added-at = {2020-08-20T00:00:00.000+0200}, author = {Viger, Torin and Salay, Rick and Selim, Gehan M. K. and Chechik, Marsha}, biburl = {https://www.bibsonomy.org/bibtex/2886c5c3732ecf0e272db108bf691b2b8/dblp}, booktitle = {SAFECOMP}, crossref = {conf/safecomp/2020}, editor = {Casimiro, António and Ortmeier, Frank and Bitsch, Friedemann and Ferreira, Pedro}, ee = {https://doi.org/10.1007/978-3-030-54549-9_3}, interhash = {ee6e2b0db3012c3cdd65da8268202163}, intrahash = {886c5c3732ecf0e272db108bf691b2b8}, isbn = {978-3-030-54549-9}, keywords = {dblp}, pages = {34-49}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-08-21T11:36:05.000+0200}, title = {Just Enough Formality in Assurance Argument Structures.}, url = {http://dblp.uni-trier.de/db/conf/safecomp/safecomp2020.html#VigerSSC20}, volume = 12234, year = 2020 }