DBLP Record 'conf/ccs/2006fmse'

BibTeX

@proceedings{DBLP:conf/ccs/2006fmse,
  editor    = {Marianne Winslett and
               Andrew D. Gordon and
               David Sands},
  title     = {Proceedings of the 2006 ACM workshop on Formal methods in
               security engineering, FMSE 2006, Alexandria, VA, USA, November
               3, 2006},
  booktitle = {FMSE},
  publisher = {ACM},
  year      = {2006},
  isbn      = {1-59593-550-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}