@misc{indiciae34e56efe9bd3,
  title = {NEAMS Static Analysis},
  author = {Oliver, B. and Dahlgren, T. and Miller, M. C.},
  year = {2012},
  doi = {10.2172/1053670},
  url = {https://www.osti.gov/biblio/1053670},
  note = {Source identifier: 1053670}
}