DBLP Record 'conf/discex/DaCostaDMP03'

BibTeX

@inproceedings{DBLP:conf/discex/DaCostaDMP03,
  author    = {Dan DaCosta and
               Christopher Dahn and
               Spiros Mancoridis and
               Vassilis Prevelakis},
  title     = {Demonstration of COSAK static analysis tools},
  booktitle = {DISCEX (2)},
  year      = {2003},
  pages     = {7-9},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/DISCEX.2003.1194898},
  crossref  = {DBLP:conf/discex/2003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/discex/2003,
  title     = {3rd DARPA Information Survivability Conference and Exposition
               (DISCEX-III 2003), 22-24 April 2003, Washington, DC, USA},
  publisher = {IEEE Computer Society},
  year      = {2003},
  isbn      = {0-7695-1897-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}