TY  - GEN
AU  - Vadim Okun
AU  - Romain Gaucher
AU  - Paul Black
C2  - Special Publication (NIST SP), National Institute of Standards and Technology, Gaithersburg, MD
DA  - 2009-06-22
LA  - en
PB  - Special Publication (NIST SP), National Institute of Standards and Technology, Gaithersburg, MD
PY  - 2009
TI  - Static Analysis Tool Exposition (SATE) 2008
UR  - https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=902679
ER  -