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