학술논문
Isabelle/SACM: Computer-Assisted Assurance Cases with Integrated Formal Methods
Document Type
Conference Paper
Author
Source
In: Integrated Formal Methods - 15th International Conference, IFM 2019, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2019, 11918 LNCS:379-398)
Subject
Language
English
ISSN
16113349
03029743
03029743