Integration of Formal Proof into Unified Assurance Cases with Isabelle/SACM
Research article (Formal Aspects of Computing, 2021) · cited 27× · AI/ML