NISSIM FRANCEZ PROGRAM VERIFICATION - ADDISON - WESLEY 1992 - 312 ISBN: 0201416085 Subjects--Topical Terms: COMPUTER SCIENCE SOFTWARE TESTING Dewey Class. No.: 005.1`4 FRA N2 / NIS