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