TY  - RPRT
TI  - Trustworthy Inference in ASC as Formal Methods and Programming Language Challenges
AU  - Aytac, Jon M [Sandia National Laboratories (SNL-CA), Livermore, CA (United States)]
PY  - 2025
DO  - 10.2172/3018861
UR  - https://www.osti.gov/biblio/3018861
ID  - 3018861
ER  -