Cover Image

Automated Technology for Vertification and Analysis

4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings

Author: Graf, Susanne
Zhang, Wenhui
Media Type: eBook
Language: Undetermined
Published: Berlin Heidelberg, Springer-Verlag GmbH., 2006
ISBN: 978-3-540-47238-4
978-3-540-47237-7
Subjects:

Internet

Fulltext
Fulltext