TY  - RPRT
TI  - Design for validation: An approach to systems validation
AU  - Carter, William C.
AU  - Dunham, Janet R.
AU  - Laprie, Jean-Claude
AU  - Williams, Thomas
AU  - Howden, William
AU  - Smith, Brian
AU  - Lewis, Carl M.
PY  - 1989
UR  - https://ntrs.nasa.gov/citations/19890017075
ID  - 19890017075
ER  -