TY  - GEN
AU  - Okun, Vadim
AU  - Delaitre, Aurelien
AU  - Black, Paul E.
C2  - , National Institute of Standards and Technology, Gaithersburg, MD
DA  - 2013-01-01 05:01:00
DO  - https://doi.org/10.6028/NIST.SP.500-297
LA  - en
PB  - , National Institute of Standards and Technology, Gaithersburg, MD
PY  - 2013
TI  - Report on the Static Analysis Tool Exposition (SATE) IV:
ER  -