TY  - RPRT
TI  - Integration of Formal Proof into Unified Assurance Cases with Isabelle/SACM
AU  - Simon Foster
AU  - Yakoub Nemouchi
AU  - Mario Gleirscher
AU  - Ran Wei
AU  - Tim Kelly
PY  - 2020
DO  - 10.1007/s00165-021-00537-4
UR  - https://arxiv.org/abs/2009.12154
ID  - 2009.12154
ER  -