×
1996
Verification and validation with ripple-down rules.
[DOI]
Byeong Ho Kang
,
Windy Gambetta
,
Paul Compton
Int. J. Hum. Comput. Stud., 1996