Certified Programs, Certified Tools, Certified Floating-Point Computations
Tutelles : Centre national de la recherche scientifique, Institut national de la recherche en informatique et automatique, Université Paris-Saclay
Disciplines : informatique, ingenierie
📚 328 publications sur HAL open science →
Publications récentes (HAL)
Source : MESRI ScanR / HAL (Etalab 2.0) · Données HAL (CC0)