Automated Technology for Verification and Analysis By Ahmed Bouajjani, Wei-Ngan Chin
Publisher: Sp..rin..ger 2010 | 412 Pages | ISBN: 3642156428 | PDF | 6 MB
Publisher: Sp..rin..ger 2010 | 412 Pages | ISBN: 3642156428 | PDF | 6 MB
This book constitutes the refereed proceedings of the 8th International Symposium on Automated Technology for Verification and Analysis, ATVA 2010, held in Singapore, in September 2010. The book includes 3 invited talks, 21 regular papers and 9 tool papers.
Be Happy!!!
!!!No Mirrors below, please! Follow Rules!