Multi-Prover Verification of Floating-Point Programs ⋆

Cached

Download Links

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