TY  - RPRT
TI  - Mechanised Assurance Cases with Integrated Formal Methods in Isabelle
AU  - Yakoub Nemouchi
AU  - Simon Foster
AU  - Mario Gleirscher
AU  - Tim Kelly
PY  - 2019
UR  - https://arxiv.org/abs/1905.06192
ID  - 1905.06192
ER  -