Program verification /

Bibliographic Details
Main Author:	Francez, Nissim
Format:	Book
Language:	English
Published:	Wokingham, Eng. ; Reading, Mass. : Addison-Wesley Pub. Co., [1992]
Series:	International computer science series.
Subjects:	Computer software > Verification.

Remote Storage