TY  - RPRT
TI  - Report on the Static Analysis Tool Exposition (SATE) IV 
AU  - Okun, Vadim
AU  - Delaitre, Aurelien
AU  - Black, Paul E.
PY  - 2013
PB  - National Institute of Standards and Technology
SN  - NIST SP 500-297
DO  - 10.6028/NIST.SP.500-297
ER  -