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.

@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},
}

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 -