Jump to : Contact | BibTex reference | EndNote reference |

Jeron-TESTING96

T. Jéron. La génération de tests pour les protocoles à l'aide de la technologie de la vérification. In Conférence Software Testing'96, Paris, Club Génie Logiciel SEE, June 1996.

Contact

Thierry Jéron http://www.irisa.fr/prive/jeron

BibTex Reference

@InProceedings{Jeron-TESTING96,
   Author = {Jéron, T.},
   Title = {La génération de tests pour les protocoles à l'aide de la technologie de la vérification},
   BookTitle = {Conférence Software Testing'96},
   Address = {Paris, Club Génie Logiciel SEE},
   Month = {June},
   Year = {1996}
}

EndNote Reference [help]

Get EndNote Reference (.ref)

| VerTeCs | Team | Publications | New Results | Softwares |
Irisa - Inria - Copyright 2005 © Projet VerTeCs