"Ludovic Chamoin, Pedro D�ez" <br/><br/>
Verifying Calculations - Forty Years On 

 -  Springer  2016 
<br/><br/><label>ISBN: </label>978-3-319-20553-3 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Engineering; Theoretical and Applied Mechanics; Computational Science and Engineering