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