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, 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
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb