A certificate-based approach to formally verified approximations

From MaRDI portal
Publication:5875414

DOI10.4230/LIPIcs.ITP.2019.8OpenAlexW2936040140MaRDI QIDQ5875414

Florent Bréhard, Damien Pous, Assia Mahboubi

Publication date: 3 February 2023

Full work available at URL: https://laas.hal.science/hal-02088529




Related Items (3)


Uses Software


Cites Work




This page was built for publication: A certificate-based approach to formally verified approximations