Software specification methods/ 
edited by Henri Habrias and Marc Frappier 
 - London  ISTE Ltd.  2006 
 - xxiii, 411 p.  23 cm. 
<br/><br/>Includes index 
<br/><br/><label>ISBN: </label>9781905209347 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Formal methods (computer sscience)