TY  - RPRT
TI  - Experimental evaluation of certification trails using abstract data type validation
AU  - Wilson, Dwight S.
AU  - Sullivan, Gregory F.
AU  - Masson, Gerald M.
PY  - 1993
UR  - https://ntrs.nasa.gov/citations/19940031560
ID  - 19940031560
ER  -