Computer-assisted safety argument review - a dialectics approach

Tangming Yuan, Tim Kelly, Tianhua Xu. Computer-assisted safety argument review - a dialectics approach. Argument & Computation, 6(2):130-148, 2015. [doi]

Abstract

Abstract is missing.