Multi-Prover Verification of Floating-Point Programs ⋆

Cached

Download Links

by Ali Ayad , Claude Marché
Citations:14 - 3 self

Document Versions

Multi-Prover Verification of Floating-Point Programs ⋆ –Ali Ayad, Claude Marché