Bruno Legeard, Michel Rueher, Thierry Jéron, Bruno 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.

Jump to : Contact | BibTex reference | EndNote reference |

Contact

Thierry Jéron
Thierry.Jeron@irisa.fr

BibTex Reference

@Misc{V3F-rapport-final-2006,
   Author = {Legeard, Bruno and Rueher, Michel and Jéron, Thierry and Marre, Bruno},
   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)

This page has been automatically generated using the bib2html program.