Proceedings of the Symposium on Testing, Analysis, and Verification (TAV4)
Subtitle: Victoria, British Columbia, October 8-10, 1991
Publisher: ACM Order Dept. [distributor]
Published: 1991
Language: eng
Format: Unknown Binding
Number of pages: 213
ISBN-13: 9780897914499