EasyChair Smart SlideUser guide
Author: Dorra Ben Khalifa

This page shows all presentations of this author published in EasyChair Smart Slide.

FPScan: an Automated Constraint-Based Analyzer for Floating-Point Anomaly Detection

FPScan: an Automated Constraint-Based Analyzer for Floating-Point Anomaly Detection

Julien Bortolussi, Dorra Ben Khalifa and Pierre-Loic Garoche

Presentations in this collection: 1
Copyright © 2002 – 2026 EasyChair