TY  - BOOK
AU  - Hausen H L
ED  - Symposium on Software Validation( 1983 : Darmstadt )
ED  - Symposium on Software Validation
TI  - Software validation : proceedings
U1  - 5.14 
PY  - 1984///
CY  - Amsterdam
PB  - North Holland
KW  - Software validation
ER  -