The validation and verification of low-level code

D. L. Clutterbuck. The validation and verification of low-level code. PhD thesis, University of Southampton, UK, 1986. [doi]

Abstract

Abstract is missing.