Mills, Bruce <br/><br/>
Practical formal software engineering : wanting the software you get 
Bruce Mills 
 - Cambridge  Cambridge University Press  2009 
 - xxxiii, 339p. : ill. ; 26 cm 
<br/><br/> Includes bibliographical references and index 
<br/><br/><label>ISBN: </label>9780521879033 
<br/><br/><label>ISSN: </label>2008042407 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Software engineering - Textbooks
<br/><br/><label>Dewey Class. No.: </label>005.1 MIL