@misc{indiciae7f71500f147b,
  title = {NASA software specification and evaluation system: Software verification/validation techniques},
  year = {1977},
  url = {https://ntrs.nasa.gov/citations/19770019884},
  note = {Source identifier: 19770019884}
}