TY - RPRT TI - A code-verification evidence-generation process model. AU - Knupp, Patrick Michael PY - 2010 UR - https://www.osti.gov/biblio/1016323 ID - 1016323 ER -