%0 Journal Article %1 journals/fac/FosterNGWK21 %A Foster, Simon %A Nemouchi, Yakoub %A Gleirscher, Mario %A Wei, Ran %A Kelly, Tim %D 2021 %J Formal Aspects Comput. %K dblp %N 6 %P 855-884 %T Integration of Formal Proof into Unified Assurance Cases with Isabelle/SACM. %U http://dblp.uni-trier.de/db/journals/fac/fac33.html#FosterNGWK21 %V 33

@article{journals/fac/FosterNGWK21, added-at = {2023-09-30T00:00:00.000+0200}, author = {Foster, Simon and Nemouchi, Yakoub and Gleirscher, Mario and Wei, Ran and Kelly, Tim}, biburl = {https://www.bibsonomy.org/bibtex/27da8f917af131aa3dfdfc424bfd2c50e/dblp}, ee = {https://doi.org/10.1007/s00165-021-00537-4}, interhash = {478f256313bd29fa409c9baa2b9cc4fa}, intrahash = {7da8f917af131aa3dfdfc424bfd2c50e}, journal = {Formal Aspects Comput.}, keywords = {dblp}, number = 6, pages = {855-884}, timestamp = {2024-04-09T05:38:02.000+0200}, title = {Integration of Formal Proof into Unified Assurance Cases with Isabelle/SACM.}, url = {http://dblp.uni-trier.de/db/journals/fac/fac33.html#FosterNGWK21}, volume = 33, year = 2021 }