@misc{indiciaea6f9261f903a,
  title = {Partial program correctness},
  author = {Herring, Stuart Davis [Los Alamos National Laboratory]},
  year = {2025},
  url = {https://www.osti.gov/biblio/2520090},
  note = {Source identifier: 2520090}
}