@misc{indiciaef7d9c8461a3b,
  title = {Developing Formal Correctness Properties from Natural Language Requirements},
  author = {Nikora, Allen P.},
  year = {2006},
  url = {https://ntrs.nasa.gov/citations/20060051681},
  note = {Source identifier: 20060051681}
}