TY  - RPRT
TI  - POSTER: Automatic Differentiation of Parallel Loops with Formal Methods
AU  - Huckelheim, Jan
AU  - Hascoet, Laurent
PY  - 2022
UR  - https://www.osti.gov/biblio/1889196
ID  - 1889196
ER  -