@misc{indiciaef7d45437e9ae,
  title = {Software interface verifier},
  author = {Soderstrom, Tomas J. and Krall, Laura A. and Hope, Sharon A. and Zupke, Brian S.},
  year = {1994},
  url = {https://ntrs.nasa.gov/citations/19950011149},
  note = {Source identifier: 19950011149}
}