@misc{indiciaeebc7c11435d6,
  title = {Trustworthy Inference in ASC as Formal Methods and Programming Language Challenges},
  author = {Aytac, Jon M [Sandia National Laboratories (SNL-CA), Livermore, CA (United States)]},
  year = {2025},
  doi = {10.2172/3018861},
  url = {https://www.osti.gov/biblio/3018861},
  note = {Source identifier: 3018861}
}