Automated technology for verification and analysis : 4th international symposium, ATVA 2006, Beijing, China, October 23-26, 2006 : proceedings /

Bibliographic Details
Corporate Author:	ATVA (Symposium) Beijing, China)
Other Authors:	Graf, Susanne, Zhang, Wenhui, 1963-
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin ; New York : Springer, [2006]
Series:	Lecture notes in computer science. 4218.
Subjects:	Automatic theorem proving > Congresses.

Remote Storage