Almeida, Jose Bacelar. <br/><br/>
Rigorous software development :  an introduction to program verification / 
Jose Bacelar Almeida...[et.al.]., 
 - India  Springer India  2011 
 - 263 p. 
<br/><br/><label>ISBN: </label>9788132231653 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer software--Verification<br/>Computer software--Development<br/>Logic design<br/>Software engineering<br/>Algebra--Data processing<br/>Computer science
<br/><br/><label>Dewey Class. No.: </label>005.14 ALM-J