Automated Technology for Verification and Analysis
7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings
Autor:
Zhiming Liu, Anders P. Ravn
Disponibilitate:
În depozitul extern
Expediem în 5-8 zile
275.89
lei
This book constitutes the proceedings of the 7th International Symposium on Automated Technology for...
