Communication Dans Un Congrès
Année : 2013
Florent Kirchner : Connectez-vous pour contacter le contributeur
https://cea.hal.science/cea-01808998
Soumis le : mercredi 6 juin 2018-11:58:49
Dernière modification le : mardi 3 septembre 2024-11:16:05
Citer
Alwyn Goodloe, César Muñoz, Florent Kirchner, Loïc Correnson. Verification of Numerical Programs: From Real Numbers to Floating Point Numbers. NASA Formal Methods, 2013, Moffett Field, United States. ⟨10.1007/978-3-642-38088-4_31⟩. ⟨cea-01808998⟩
Collections
32
Consultations
0
Téléchargements