Proceedings/Recueil Des Communications
Année : 2017
Sylvie Boldo : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-01662076
Soumis le : mardi 12 décembre 2017-16:43:25
Dernière modification le : jeudi 28 novembre 2024-15:42:02
Dates et versions
Identifiants
- HAL Id : hal-01662076 , version 1
Citer
Alessandro Abate, Sylvie Boldo. 10th International Workshop on Numerical Software Verification. 10th International Workshop on Numerical Software Verification, France. Springer, 2017. ⟨hal-01662076⟩
Collections
337
Consultations
0
Téléchargements