Automated Technology for Verification and Analysis
4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings
Autor:
Susanne Graf, Wenhui Zhang
Disponibilitate:
În depozitul extern
Expediem în 5-8 zile
275.77
lei
This book constitutes the refereed proceedings of the Third International Symposium on Automated Tec...
