José Bacelar Almeida ... [et al.]. <br/><br/>
Rigorous software development : an introduction to program verification 

 - London   Springer  2011 
 - 263 p 
<br/><br/><label>ISBN: </label>9780857290175 
<br/><br/><label>Subjects--Topical Terms: </label><br/>     Computer software--Verification.     Computer software--Development. 
<br/><br/><label>LC Class. No.: </label>QA 76.76. R54/