@misc{indiciaed668542788e8,
  title = {CTF Code Verification and Solution Verification},
  author = {Pilch, Martin and Salko, Robert K.},
  year = {2019},
  doi = {10.2172/3002119},
  url = {https://www.osti.gov/biblio/3002119},
  note = {Source identifier: 3002119}
}