Automated Technology for Verification and Analysis 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings

• Main Author: Bouajjani, Ahmed
• Corporate Author: SpringerLink (Online service)
• Other Authors: Chin, Wei-Ngan
• Format: Electronic Kit Book
• Language: English
• Published: Berlin, Heidelberg Springer-Verlag Heidelberg 2010
• Series: Lecture Notes in Computer Science 6252
• Subjects: Computer science; Computer Communication Networks; Software engineering; Logic design; Computer Science; Software Engineering; Programming Techniques; Logics and Meanings of Programs; Programming Languages, Compilers, Interpreters; Software Engineering/Programming and Operating Systems
• Physical Description: v.: digital
• ISBN: 9783642156434
• ISSN: 0302-9743