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