- ECU Libraries Catalog

Preview Version: You're viewing our new catalog design. Share your feedback or return to the current catalog.

Start Over

You searched for: author_facet Boldo, Sylvie

Showing 1 - 3 of 3 results

Search Results

Cover image for Computer arithmetic and formal proofs

Computer arithmetic and formal proofs

by Boldo, Sylvie
2017
Format: Electronic

Location
Access Content Online

Cover image for A high-level formalization of floating-point numbers in PVS

A high-level formalization of floating-point numbers in PVS

by Boldo, Sylvie
2006
Format: Electronic

Location
Access Content Online

Cover image for Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings

Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings

by Abate, Alessandro
2017
Format: Electronic

Location
Access Content Online