Computer software - Verification

Overview

Works:	2 works in 2 publications in 1 languages

Titles

Software engineering reviews and audits by: Summers, Boyd L. (Language materials, printed)

Data flow analysis : theory and practice by: Khedker, Uday; Karkare, Bageshri; Sanyal, Amitabha (Electronic resources)