José Bacelar Almeida, Maria João Frade, Jorge Sousa Pinto, Simão Melo de Sousa <br/><br/>
Rigorous Software Development 

 - New York  Springer US  2011 
<br/><br/><label>ISBN: </label>978-0-85729-018-2 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer Science