Jump to : Contact | BibTex reference | EndNote reference |


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


Hervé Marchand http://people.rennes.inria.fr/Herve.Marchand/
Thierry Jéron http://www.irisa.fr/prive/jeron

BibTex Reference

   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)