TY  - RPRT
TI  - DECOVALEX-2023: Task F2-Salt Final Report
AU  - LaForce, Tara
AU  - Bartol, Jeroen
AU  - Becker, Dirk-Alexander
AU  - Benbow, Steven
AU  - Bond, Alexander
AU  - Dietl, Carlo Rudolf
AU  - Frank, Tanja
AU  - Jayne, Richard Scott
AU  - Kock, Ingo
AU  - Magri, Fabiano
AU  - Nicholas, Josh
AU  - Pekala, Marek
AU  - Stauffer, Philip H.
AU  - Stein, Emily
AU  - Stone, Jodie
AU  - Wolf, Jens
PY  - 2023
DO  - 10.2172/2430083
UR  - https://www.osti.gov/biblio/2430083
ID  - 2430083
ER  -