TY  - BOOK
AU  - "Ludovic Chamoin, Pedro D�ez"
TI  - Verifying Calculations - Forty Years On
SN  - 978-3-319-20553-3
PB  - Springer
KW  - Engineering; Theoretical and Applied Mechanics; Computational Science and Engineering
UR  - http://link.springer.com/openurl?genre=book&isbn=978-3-319-20553-3
ER  -