Ludovic Chamoin <br/><br/>
Verifying Calculations - Forty Years On 

 - 1st ed. 2016 
 -  springer  2016 
 - springerBriefs in Applied sciences and Technology .
<br/><br/><label>ISBN: </label>9783319205533 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Engineering<br/>Engineering Mechanics