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 : jeudi 4 avril 2024-03:27:19
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
28
Consultations
0
Téléchargements