@misc{indiciae596131422aa5,
  title = {Explaining Verification Conditions},
  author = {Deney, Ewen and Fischer, Bernd},
  year = {2006},
  url = {https://ntrs.nasa.gov/citations/20060022143},
  note = {Source identifier: 20060022143}
}