Forensic System Verification

Robert J. Hall. Forensic System Verification. In RE 2009, 17th IEEE International Requirements Engineering Conference, Atlanta, Georgia, USA, August 31 - September 4, 2009. pages 111-120, IEEE Computer Society, 2009. [doi]

Abstract

Abstract is missing.