Lewis, T. G. 1941-
Software engineering analysis and verification T.G. Lewis - Reston, Va Reston Pub. Co. c1982 - x, 470 p. ill. 25 cm.
Computer programs--Verification
Computer programming
001.64 / 2
Software engineering analysis and verification T.G. Lewis - Reston, Va Reston Pub. Co. c1982 - x, 470 p. ill. 25 cm.
Computer programs--Verification
Computer programming
001.64 / 2