@misc{indiciae3f3226870f71,
  title = {Precise and Scalable Static Program Analysis of NASA Flight Software},
  author = {Brat, G. and Venet, A.},
  year = {2005},
  url = {https://ntrs.nasa.gov/citations/20050081994},
  note = {Source identifier: 20050081994}
}