Software specification methods / 
edited by Henri Habrias, Marc Frappier. 
 - xxv, 418 pages :  illustrations ;  25 cm. 
<br/><br/><label>ISBN: </label>1905209347 9781905209347 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Formal methods (Computer science).<br/>Computer software --Specifications.
<br/><br/><label>LC Class. No.: </label>QA76.9.F67   / .S63 2006