politess-1

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

Contact

Hervé Marchand http://www.irisa.fr/prive/hmarchan
Jérémy Dubreil
Thierry Jéron http://www.irisa.fr/prive/jeron

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)