Automated Technology for Verification and Analysis

Know about the book -

Automated Technology for Verification and Analysis is written by Susanne Graf and published by Springer Science & Business Media. It's available with International Standard Book Number or ISBN identification 3540472371 (ISBN 10) and 9783540472377 (ISBN 13).

This book constitutes the refereed proceedings of the Third International Symposium on Automated Technology for Verification and Analysis, ATVA 2006, held in Beijing, China in October 2006. The 35 revised full papers presented together with abstracts of three keynote papers were carefully reviewed and selected from 137 submissions.