Assurance Case Synthesis from a Curated Semantic Triplestore.

Saswata Paul, Baoluo Meng, Kit Siu, Abha Moitra, Michael Durling

Browse the full SAFECOMP paper archive.