Test-Linked Specification For Safety-Critical Software

Herbert Hecht, Myron Hecht. Test-Linked Specification For Safety-Critical Software. In HICSS (3). pages 267-272, 1997. [doi]

Abstract

Abstract is missing.