BibTeX
@inproceedings{DBLP:conf/pst/HadjidjYTD08,
author = {Rachid Hadjidj and
Xiaochun Yang and
Syrine Tlili and
Mourad Debbabi},
title = {Model-Checking for Software Vulnerabilities Detection with
Multi-Language Support},
booktitle = {PST},
year = {2008},
pages = {133-142},
ee = {http://dx.doi.org/10.1109/PST.2008.21},
crossref = {DBLP:conf/pst/2008},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/pst/2008,
editor = {Larry Korba and
Steve Marsh and
Reihaneh Safavi-Naini},
title = {Sixth Annual Conference on Privacy, Security and Trust,
PST 2008, October 1-3, 2008, Fredericton, New Brunswick,
Canada},
booktitle = {PST},
publisher = {IEEE},
year = {2008},
isbn = {978-0-7695-3390-2},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2009-03-25 by Michael Ley (ley@uni-trier.de)