Querying Safety Cases.

Ewen Denney, Dwight Naylor, Ganesh J. Pai

Browse the full SAFECOMP paper archive.