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