Almelida, J.B <br/><br/>
Rigorous sofrware development:  an introduction to program verifacation 
Jose Bacelar ASlmeida, Maria Joao Frade, Jorge Sosa Pinto and Simao Melo de Sousa 
 - London:  Springer;  2011 
 - vii, 263p.P:  ill.;  22cm. 
<br/><br/> Includes index 
<br/><br/><label>ISBN: </label>9780857290175 
<br/><br/><label>LC Class. No.: </label>DUCE 76.76.W47