Software validation inspection - testing - verification - alternatives proceedings of the Symposium on Software Validation held in Darmstadt, FRG, September 25-30, 1983 - Symposium on Software Validation (1983 : Darmstadt, Germany); Hausen, Hans-Ludwig, 1945-; Gesellschaft fur mathematik und Datenverarbeitung; SRI International (Amsterdam North-Holland, 1984)
1
Keywords: Computer programs -- Validations -- Congresses; Computer programs -- Testing -- Congresses; Computer programs -- Verification -- Congresses