Automated technology for verification and analysis : 9th international symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011 : proceedings /

Bibliographic Details
Corporate Author:	ATVA (Symposium) Taipei, Taiwan)
Other Authors:	Bultan, Tevfik, Hsiung, Pao-Ann
Format:	Conference Proceeding eBook
Language:	English
Published:	Heidelberg ; New York : Springer, [2011]
Series:	Lecture notes in computer science ; 6996.
Subjects:	Artificial intelligence > Congresses. Automatic theorem proving > Congresses. Computer Communication Networks Computer science Logic design Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Programming Techniques Software Engineering/Programming and Operating Systems Software engineering Electronic books.
Online Access:	Connect to the full text of this electronic book

Available Online