@misc{indiciae4a71cac5a025,
  title = {Basic RS274 Coq and Why3 Semantics Proofs},
  author = {Sottile, Matthew J [Lawrence Livermore National Laboratory (LLNL), Livermore, CA (United States)] and Tekriwal, Mohit K [Lawrence Livermore National Laboratory (LLNL), Livermore, CA (United States)]},
  year = {2025},
  doi = {10.5281/zenodo.14458401},
  url = {https://www.osti.gov/biblio/2997258},
  note = {Source identifier: 2997258}
}