Almeida, Jose Bacelar <br/><br/>
Rigorous software development : an introduction to program verification 

 - New Delhi  Springer  2011 
 - xii, 263p.   
<br/><br/> Includes bibliographical references and index 
<br/><br/><label>ISBN: </label>9788132231653 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Software engineering