Automated technology for verification and analysis
Subtitle: 5th international symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 : proceedings
By: Kedar S. Namjoshi ... [et al.] (eds.).
Contributors: Namjoshi, Kedar S.
Series: Lecture notes in computer science -- 4762; LNCS sublibrary
Publisher: Springer
Published: 2007
Place of publication: Berlin; New York
Language: eng
Number of pages: 566
ISBN-13: 9783540755951
Subjects: Automatic theorem proving -- Congresses
Genres: Congresses
Other titles: ATVA 2007
Notes: Includes bibliographical references and index.

Also issued online.