Software engineering : analysis and verification /

Bibliographic Details
Main Author:	Lewis, T. G. (Theodore Gyle), 1941-
Format:	Book
Language:	English
Published:	Reston, Va. : Reston Pub. Co., [1982]
Subjects:	Computer programming. Computer programs > Verification.

Remote Storage