@misc{indiciaedd4e3bbadeeb,
  title = {DECOVALEX-2023, Task F Specification, Revision 8},
  author = {LaForce, Tara and Jayne, Richard and Leone, Rosemary and Stein, Emily and Nguyen, Son},
  year = {2022},
  doi = {10.2172/1869373},
  url = {https://www.osti.gov/biblio/1869373},
  note = {Source identifier: 1869373}
}