@misc{indiciaef70c6c90bd98,
  title = {Verifying Aerospace Software},
  author = {Visser, Willem},
  year = {2005},
  url = {https://ntrs.nasa.gov/citations/20060017074},
  note = {Source identifier: 20060017074}
}