TY  - RPRT
TI  - Synthesizing Sound and Precise Abstract Transformers for Nonlinear Hyperbolic PDE Solvers
AU  - Laguna Peralta, Ignacio [Lawrence Livermore National Laboratory]
PY  - 2025
UR  - https://www.osti.gov/biblio/3001899
ID  - 3001899
ER  -