@misc{indiciae562458dfc451,
  title = {Verification of Software: The Textbook and Real Problems},
  author = {Carlson, Jan-Renee},
  year = {2006},
  url = {https://ntrs.nasa.gov/citations/20080010138},
  note = {Source identifier: 20080010138}
}