Program verification

Bibliographic Details
Main Author:	Francez, Nissim
Format:	Book
Published:	Wokingham, Eng. Addison-Wesley Pub. c1992.
Subjects:	Computer software > Verification. Programming.