@misc{indiciae1d378f3e4859, title = {DECOVALEX-2023 Task E Specification (Rev. 0)}, author = {Kuhlman, Kristopher L.}, year = {2020}, doi = {10.2172/1616375}, url = {https://www.osti.gov/biblio/1616375}, note = {Source identifier: 1616375} }