@misc{indiciae1b1066fd033f,
  title = {Introduction to Static Analysis.},
  author = {Johnson-Freyd, Philip Alden},
  year = {2019},
  url = {https://www.osti.gov/biblio/1643864},
  note = {Source identifier: 1643864}
}