"Almeida, Bacelar Jose" <br/><br/>
Rigorous Software Development 

 - \\201501ENGGPCX 
 - Springer India Pvt Ltd   2015  New Delhi  
 - 263p. 
<br/><br/> includes index and biblioraphy 
<br/><br/><label>ISBN: </label>9.79E+12