Proceedings of the Symposium on Testing Analysis , and Verification (TAV4) , Victoria . British Columbia October Sponsored
/ by : ACM SIGSOFT 8-10= 1991
Proceedings of the Symposium on Testing Analysis , and Verification (TAV4) , Victoria . British Columbia October Sponsored
Author
/ by : ACM SIGSOFT 8-10= 1991Edition 1
0-89791-449-x
list
شناسنامه
Title and Author
Proceedings of the Symposium on Testing Analysis , and Verification (TAV4) , Victoria . British Columbia October Sponsored / / by : ACM SIGSOFT 8-10= 1991Publication Details
نیویورک : : The Association for Computing Machinery، 1991مPhysical Description
viii, 213 p.؛ ; 28cm؛ : ill..Subject
Computer SoftwareVerification
Congresses
Added Identifiers
ACM SIGSOFT، نویسنده .
Language
انگلیسیRetrieval Number
Congress:
انگليسي.
Includes bibliographical references.
Includes bibliographical references.
