학술논문
Mechanised assurance cases with integrated formal methods in Isabelle
Document Type
Document
Author
Source
In: arXiv . (arXiv, 15 May 2019)
Subject
Language
English