TY  - GEN
AU  - Vadim Okun
AU  - Paul Black
AU  - Aurelien Delaitre
C2  - Special Publication (NIST SP), National Institute of Standards and Technology, Gaithersburg, MD
DA  - 2010-07-02
LA  - en
PB  - Special Publication (NIST SP), National Institute of Standards and Technology, Gaithersburg, MD
PY  - 2010
TI  - The Second Static Analysis Tool Exposition (SATE) 2009
UR  - https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=905879
ER  -