Software validation  inspection - testing - verification - alternatives  proceedings of the Symposium on Software Validation held in Darmstadt, FRG, September 25-30, 1983 
organized by GMD-Gesellschaft fur Mathematik und Datenveranbeitung mbH Bonn and SRI International Menlo Park, USA ; edited by Hans-Ludwig Hausen 
 - Amsterdam  North-Holland  1984 
 - 375 p. : ill. ; 23 cm. 
<br/><br/><label>ISBN: </label>044487593X 
<br/><br/><label>LCCN: </label>84-13659 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer programs--Validations--Congresses<br/>Computer programs--Testing--Congresses<br/>Computer programs--Verification--Congresses