Cyber & formal methods publications September 1, 2013 Conference PaperLogic and Epistemology in Safety Cases SRI author: John Rushby Citation Copy to clipboard Rushby, J. (2013, 24-27 September). Logic and epistemology in safety cases. Paper presented at the International Conference on Computer Safety, Reliability and Security (SAFECOMP ’13), Toulouse, France. ↓ View online Share this
