Ebook: Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings
- Genre: Technique
- Tags: Software Engineering, Programming Techniques, Computer Communication Networks, Logics and Meanings of Programs, Programming Languages Compilers Interpreters, Software Engineering/Programming and Operating Systems
- Series: Lecture Notes in Computer Science 6252 : Programming and Software Engineering
- Year: 2010
- Publisher: Springer-Verlag Berlin Heidelberg
- Edition: 1
- Language: English
- pdf
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.
Download the book Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)