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

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

Show other versions (1)
Bibliographic Details
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
Online Access:http://dx.doi.org/10.1007/978-3-642-15643-4
Show all versions (2)

Similar Items