Lewis, T. G. (Theodore Gyle), 1941- <br/><br/>
Software engineering:  analysis and verification / 
T.G. Lewis. 
 - Reston, Va.:  Reston Pub. Co.,  1982. 
 - 470p.:  ill.;  24 cm. 
<br/><br/>Includes bibliographical references and index. 
<br/><br/><label>Subjects--Topical Terms: </label><br/> Electronic digital computers--Programming.<br/> Computer programs--Verification.