TY  - BOOK
ED  - Symposium on Software Validation (1983 : Darmstadt, Germany)
ED  - Hausen, Hans-Ludwig, 1945-
ED  - Gesellschaft fur mathematik und Datenverarbeitung
ED  - SRI International
TI  - Software validation: inspection - testing - verification - alternatives
SN  - 044487593X
PY  - 1984///
CY  - Amsterdam
PB  - North-Holland
KW  - Computer programs
KW  - Validations
KW  - Congresses
KW  - Testing
KW  - Verification
ER  -