TY  - RPRT
TI  - Verification test suite for systems analysis tools
AU  - Sumner, T.
AU  - Hu, R.
AU  - Fanning, T. H.
PY  - 2013
DO  - 10.2172/1064609
UR  - https://www.osti.gov/biblio/1064609
ID  - 1064609
ER  -