NASA NTRS · 20220012051
PRECiSA: From Real Specifications to Floating-point Implementations
Abstract
The source did not provide an abstract. Follow the original record for more information.
Explore related subjects
Keep this discovery
Explore connections, maps & timelines
Laura Titolo, Mariano Moscato, Marco Feliu. PRECiSA: From Real Specifications to Floating-point Implementations. https://ntrs.nasa.gov/citations/20220012051
Cite the original work for its findings. Save a collection to share your selection of sources.