@misc{indiciae9ad2a2b49993,
  title = {Experimental evaluation of certification trails using abstract data type validation},
  author = {Wilson, Dwight S. and Sullivan, Gregory F. and Masson, Gerald M.},
  year = {1993},
  url = {https://ntrs.nasa.gov/citations/19940031560},
  note = {Source identifier: 19940031560}
}