학술논문
Integration of Formal Proof into Unified Assurance Cases with Isabelle/SACM
Document Type
Article
Author
Source
In: Formal Aspects of Computing . (Formal Aspects of Computing, December 2021, 33(6):855-884)
Subject
Language
English
ISSN
1433299X
09345043
09345043