# Integration of Formal Proof into Unified Assurance Cases with Isabelle/SACM

> Research article (Formal Aspects of Computing, 2021) · cited 27× · AI/ML

**Wikidata**: [openalex:W3088867746](https://www.wikidata.org/wiki/openalex:W3088867746)  
**Source**: https://4ort.xyz/entity/integration-of-formal-proof-into-unified-assurance-cases-with-isabelle-sacm