TY - BOOK AU - Vignes,Jean AU - Alt,René TI - Validation of scientific software results PY - 2026///. N1 - 5 UR - https://stm.cairn.info/numerical-methods--bdti42105210-af1471-page-5?lang=en&redirect-ssocas=7080 ER -