@misc{indiciaee92d7821ede6,
  title = {DECOVALEX-2023 Task F Specification (Rev. 9)},
  author = {LaForce, Tara and Jayne, Richard and Leone, Rosemary and Mariner, Paul and Stein, Emily and Nguyen, Son and Frank, Tanja},
  year = {2022},
  doi = {10.2172/2004895},
  url = {https://www.osti.gov/biblio/2004895},
  note = {Source identifier: 2004895}
}