Verifying Calculations - Forty Years On An Overview of Classical Verification Techniques for FEM Simulations - Chamoin, Ludovic; Díez, Pedro (Springer International Publishing : Imprint: Springer, 2016)