Program verification

Saved in:

Bibliographic Details
Main Author:	Francez, Nissim
Format:	Unknown
Published:	Wokingham, England Addison-Wesley 1992
Subjects:	Computer software > Verification
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet