Dorra Ben Khalifa
Publications
Talks
People
Teaching
Software
Contact

Dorra Ben Khalifa

Dorra Ben Khalifa

Associate Professor

ENAC
Email
Google Scholar
ORCID
LinkedIn

Formal Methods for Frugal Computing in Numerical Software

Date: October 09, 2025

Share on

Bluesky Facebook LinkedIn X (formerly Twitter)

© 2025 Dorra Ben Khalifa, site last updated 2025-10-16.