Skip to content

Engineering topics

Appel, Andrew

Publications and source records attributed to Appel, Andrew.

1 records

All sources NASA NTRS DOE OSTI

DOE OSTI2022

Verification Toolchain for Floating-Point Programs.

Abstract not provided.

Kellison, Ariel↗