Craigen, Dan <br/><br/>
Industrial applications of formal methods to model, design, and analyze computer systems : an international survey 
Dan Craigen, Susan Gerhart, Ted Ralston 
 - Park Ridge, N.J  Noyes Data Corp  c1995 
 - xii, 306 p. ; 27 cm.  
<br/><br/> Originally published: Gaithersburg, Md. : National Institute of Standards and Technology, 1993. Includes bibliographical references (p. 74-77) 
<br/><br/><label>ISBN: </label>9780815313629 
<br/><br/><label>ISSN: </label>94023432 
<br/><br/><label>Subjects--Topical Terms: </label><br/>System analysis<br/>System design
<br/><br/><label>Dewey Class. No.: </label>004.21 CRA