H. Marchand, J. Dubreil, T. Jéron, Automatic Test Generation for Security Property, Delivrable, Politess Project, 2008.

Jump to : Contact | BibTex reference | EndNote reference |

Contact

Hervé Marchand
hmarchan@irisa.fr

Jérémy Dubreil
jeremy.dubreil@irisa.fr

Thierry Jéron
Thierry.Jeron@irisa.fr

BibTex Reference

@Misc{politess-1,
   Author = {Marchand, H. and Dubreil, J. and Jéron, T.},
   Title = {Automatic Test Generation for Security Property},
   Howpublished = {Delivrable, Politess Project},
   Year = {2008}
}

EndNote Reference [help]

Get EndNote Reference (.ref)

This page has been automatically generated using the bib2html program.