TY  - RPRT
TI  - Basic RS274 Coq and Why3 Semantics Proofs
AU  - Sottile, Matthew J [Lawrence Livermore National Laboratory (LLNL), Livermore, CA (United States)]
AU  - Tekriwal, Mohit K [Lawrence Livermore National Laboratory (LLNL), Livermore, CA (United States)]
PY  - 2025
DO  - 10.5281/zenodo.14458401
UR  - https://www.osti.gov/biblio/2997258
ID  - 2997258
ER  -