TY - GEN AU - Knupp, Patrick AU - Salari, Kambiz TI - Verification of computer codes in computational science and engineering SN - 1584882646 U1 - 515.353 PY - 2003/// CY - London PB - Chapman & Hall KW - Partial differential equations ER -