-
Selection by year
-
Selection by authors
-
Complete lists
V3F-rapport-final-2006
B. Legeard, M. Rueher, T. Jéron, B. Marre. V3F: Validation et Vérification en présence de calculs à Virgule Flottante. Rapport final de l'Action Concertée Incitative, Sécurité Informatique, October 2006.
Contact
Thierry Jéron http://www.irisa.fr/prive/jeron
BibTex Reference
@Misc{V3F-rapport-final-2006,
Author = {Legeard, B. and Rueher, M. and Jéron, T. and Marre, B.},
Title = {V3F: Validation et Vérification en présence de calculs à Virgule Flottante},
Howpublished = {Rapport final de l'Action Concertée Incitative, Sécurité Informatique},
Month = {October},
Year = {2006}
}
EndNote Reference [help]
Get EndNote Reference (.ref)