TY  - DATA
AU  - Ludovic Chamoin
AU  -  Pedro Diez
TI  - Verifying Calculations - Forty Years On
T2  - springerBriefs in Applied sciences and Technology
SN  - 9783319205533
PB  - springer
KW  - Engineering
KW  - Engineering Mechanics
UR  - https://link.springer.com/openurl?genre=book&isbn=978-3-319-20553-3
ER  -