Dan DaCosta, Christopher Dahn, Spiros Mancoridis, Vassilis Prevelakis. Demonstration of COSAK static analysis tools. In 3rd DARPA Information Survivability Conference and Exposition (DISCEX-III 2003), 22-24 April 2003, Washington, DC, USA. pages 7-9, IEEE Computer Society, 2003. [doi]
@inproceedings{DaCostaDMP03,
title = {Demonstration of COSAK static analysis tools},
author = {Dan DaCosta and Christopher Dahn and Spiros Mancoridis and Vassilis Prevelakis},
year = {2003},
doi = {10.1109/DISCEX.2003.1194898},
url = {http://doi.ieeecomputersociety.org/10.1109/DISCEX.2003.1194898},
tags = {analysis, static analysis},
researchr = {https://researchr.org/publication/DaCostaDMP03},
cites = {0},
citedby = {0},
pages = {7-9},
booktitle = {3rd DARPA Information Survivability Conference and Exposition (DISCEX-III 2003), 22-24 April 2003, Washington, DC, USA},
publisher = {IEEE Computer Society},
isbn = {0-7695-1897-4},
}