Guided Integration of Formal Verification in Assurance Cases.

Irfan Sljivo, Ewen Denney, Jonathan Menzies

Browse the full ICFEM paper archive.