TY  - BOOK
AU  - Lewis TG
TI  - Software engineering: Analysis and verification
U1  - D65,8(B)92, M21 
PY  - 1982///
KW  - Computer science
N1  - Includes bibliography
ER  -