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

Verification

von: Susanne Graf · Wenhui Zhang

Taschenbuch

EAN=ISBN-13: 978-3-540-47237-7

ISBN-10: 3-540-47237-1

Springer · 2008
Siehe auch:
2006 Automated technology for verification and analysis 4th international symposium, ATVA 2006, Beijing, China, October 23-26, 2006: proceedings