Automated Technology for Verification and Analysis
4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings
Autor:
Susanne Graf, Wenhui Zhang
Dostupnost:
Skladem u dodavatele
Odesíláme za 5-8 dnů
1 147
Kč
This book constitutes the refereed proceedings of the Third International Symposium on Automated Tec...
