loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
DARPA Information Survivability Conference and Exposition - Volume II
Demonstration of COSAK static analysis tools
Washington, DC
April 22-April 24
ISBN: 0-7695-1897-4
ASCII Text
x 
 
Dan DaCosta, Christopher Dahn, Spiros Mancoridis, Vassilis Prevelakis, "Demonstration of COSAK static analysis tools," DARPA Information Survivability Conference and Exposition,, vol. 2, pp. 7, DARPA Information Survivability Conference and Exposition - Volume II, 2003.
 
 
BibTex
x
 
@article{ 10.1109/DISCEX.2003.1194898,
author = {Dan DaCosta and Christopher Dahn and Spiros Mancoridis and Vassilis Prevelakis},
title = {Demonstration of COSAK static analysis tools},
journal ={DARPA Information Survivability Conference and Exposition,},
volume = {2},
year = {2003},
issn = {2003102155},
pages = {7},
doi = {http://doi.ieeecomputersociety.org/10.1109/DISCEX.2003.1194898},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - DARPA Information Survivability Conference and Exposition,
TI - Demonstration of COSAK static analysis tools
SN - 2003102155
SP
EP
A1 - Dan DaCosta,
A1 - Christopher Dahn,
A1 - Spiros Mancoridis,
A1 - Vassilis Prevelakis,
PY - 2003
KW - null
VL - 2
JA - DARPA Information Survivability Conference and Exposition,
ER -
 
Dan DaCosta, Drexel University
Christopher Dahn, Drexel University
Spiros Mancoridis, Drexel University
Vassilis Prevelakis, Drexel University
Citation:
Dan DaCosta, Christopher Dahn, Spiros Mancoridis, Vassilis Prevelakis, "Demonstration of COSAK static analysis tools," discex, vol. 2, pp.7, DARPA Information Survivability Conference and Exposition - Volume II, 2003
Usage of this product signifies your acceptance of the Terms of Use.