Automated Technology for Verification and Analysis: 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings - Lecture Notes in Computer Science 6996 (Paperback)Tevfik Bultan (editor), Pao-Ann Hsiung (editor)
- Not available
The 23 revised regular papers presented together with 5 invited papers, 11 short papers, and 2 tool papers, were carefully reviewed and selected from 75 submissions. The papers address all theoretical and practical aspects of automated analysis, verification and synthesis; thus providing a forum for interaction between the regional and the international research communities and industry in the field.
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Number of pages: 532
Weight: 764 g
Dimensions: 235 x 155 x 30 mm
You may also be interested in...
Please sign in to write a review