TY  - RPRT
TI  - Verification practices for code development teams.
AU  - Weirs, V Gregory
PY  - 2010
UR  - https://www.osti.gov/biblio/1016324
ID  - 1016324
ER  -