@misc{indiciae80a7d7d02c8b,
  title = {Software Model Checking with Uninterpreted Functions.},
  author = {Bueno, Denis},
  year = {2020},
  url = {https://www.osti.gov/biblio/1836885},
  note = {Source identifier: 1836885}
}