TY  - JOUR
AU  - Paul Black
C2  - Ada User Journal
DA  - 2007-09-01
LA  - en
M1  - 28(3)
PB  - Ada User Journal
PY  - 2007
TI  - SAMATE and Evaluating Static Analysis Tools
UR  - https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=51196
ER  -