@misc{indiciae363e2ebcea38,
  title = {Expert system verification concerns in an operations environment},
  author = {Goodwin, Mary Ann and Robertson, Charles C.},
  year = {1987},
  url = {https://ntrs.nasa.gov/citations/19880007850},
  note = {Source identifier: 19880007850}
}