Argument-based approach to computer system safety engineering

Tangming Yuan, Tim Kelly. Argument-based approach to computer system safety engineering. IJCCBS, 3(3):151-167, 2012. [doi]

Abstract

Abstract is missing.