@misc{indiciaede5159dd1b2a,
  title = {Specifications and programs for computer software validation},
  author = {Browne, J. C. and Kleir, R. and Davis, T. and Henneman, M. and Haller, A. and Lasseter, G. L.},
  year = {1973},
  url = {https://ntrs.nasa.gov/citations/19740013718},
  note = {Source identifier: 19740013718}
}