Automated Technology for Verification and Analysis: 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings: 4218 (Lecture Notes in Computer Science)

More Information

Format: Paperback
Pages: 560
Edition: 2006
Publisher: Springer
Published: 13 Jun 2008
ISBN 10: 3540472371
ISBN 13: 9783540472377