Habrias, Henri, ed. <br/><br/>
Software specification methods 

 - London  ISTE  2007 
 - xxv, 418p. ;  
<br/><br/> Includes bibliographical references, glossary and index 
<br/><br/><label>ISBN: </label>9781905209347 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer software - Specifications <br/>Formal methods - Computer science<br/>Software engineering<br/>Software specification methods