Program verification

RecordNumber
912
Author
Nissim Francez
Title
Program verification
Publication
Addison-Wesley
Publication Year
1992
Collation
315
ISBN
0201416085
Link To Document :
http://dl.iust.ac.ir/dL/search/default.aspx?Term=912&Field=0&DTC=11

Nissim Francez