Communication Dans Un Congrès
Année : 2007
Alexandre Chapoutot : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00819434
Soumis le : mercredi 1 mai 2013-12:48:09
Dernière modification le : mercredi 15 mai 2024-13:50:04
Dates et versions
Identifiants
- HAL Id : hal-00819434 , version 1
Citer
Alexandre Chapoutot, Matthieu Martel. Différentiation automatique et formes de Taylor en analyse statique de programmes numériques. Conférence sur les Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2007, Namur, Belgique. pp.261-280. ⟨hal-00819434⟩
Collections
51
Consultations
0
Téléchargements