TY  - BOOK
AU  - Lewis,T.G.(Theodore Gyle),1941-
TI  - Software engineering: analysis and verification 
PY  - 1982///
CY  - Reston, Va.
PB  - Reston Pub. Co.
KW  -  Electronic digital computers
KW  - Programming
KW  -  Computer programs
KW  - Verification
N1  - Includes bibliographical references and index
ER  -