Automated technology for verification and analysis : 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, proceedings /

Bibliographic Details
Corporate Author:	ATVA (Symposium) Macau, China)
Other Authors:	Liu, Zhiming, 1961-, Ravn, Anders P.
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin : Springer-Verlag, [2009]
Series:	LNCS sublibrary. Programming and software engineering. Lecture notes in computer science ; 5799.
Subjects:	Artificial intelligence > Congresses. Automatic theorem proving > Congresses. Electronic books.
Online Access:	Connect to the full text of this electronic book

Available Online