Mills, Bruce <br/><br/>
Practical formal software engineering:wanting the software you get 

 - Cambridge  Cambridge University  2009 
 - xxxiii,339p. 
<br/><br/>   
<br/><br/><label>ISBN: </label>9780521879033 
<br/><br/><label>Subjects--Index Terms: </label>Software engineering  Computer science