Software validation：inspection, testing, verification, alternatives : proceedings of the Symposium on Software Validation held in Darmstadt, FRG, September 25-30, 1983

Corporate Authors: Symposium on Software Validation (1983 Darmstadt, Germany; Gesellschaft f鑥r Mathematik und Datenverarbeitung; SRI International
Group Author: Hausen Hans-Ludwig 1945-
Published: Elsevier Science Publishers B.V. for Gesellschaft für Mathematik und Datemverarbeitung, Bonn Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.,
Publication Dates: 1984.
Call Number: TP31-53/S989.3/1983/