-
Selection by year
-
Selection by authors
-
Complete lists
politess-1
H. Marchand, J. Dubreil, T. Jéron. Automatic Test Generation for Security Property. Delivrable, Politess Project, 2008.
Contact
Hervé Marchand http://people.rennes.inria.fr/Herve.Marchand/
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)