%0 Conference Paper %1 conf/secdev/Vitek16 %A Vitek, David %B SecDev %D 2016 %I IEEE Computer Society %K dblp %P 154 %T Auditing Code for Security Vulnerabilities with CodeSonar. %U http://dblp.uni-trier.de/db/conf/secdev/secdev2016.html#Vitek16 %@ 978-1-5090-5589-0

@inproceedings{conf/secdev/Vitek16, added-at = {2017-11-16T00:00:00.000+0100}, author = {Vitek, David}, biburl = {https://www.bibsonomy.org/bibtex/243dde6448d577cb5d94f342fae21544d/dblp}, booktitle = {SecDev}, crossref = {conf/secdev/2016}, ee = {https://doi.org/10.1109/SecDev.2016.042}, interhash = {8504752221ed620928d3984937e13795}, intrahash = {43dde6448d577cb5d94f342fae21544d}, isbn = {978-1-5090-5589-0}, keywords = {dblp}, pages = 154, publisher = {IEEE Computer Society}, timestamp = {2019-10-17T22:19:00.000+0200}, title = {Auditing Code for Security Vulnerabilities with CodeSonar.}, url = {http://dblp.uni-trier.de/db/conf/secdev/secdev2016.html#Vitek16}, year = 2016 }