Automated technology for verification and analysis
Subtitle: 6th international symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, proceedings
By: Sungdeok (Steve) Cha ... [et al.] (eds.).
Contributors: Cha, Sungdeok.
Series: Lecture notes in computer science -- 5311; Lecture notes in computer science -- 5311.
Publisher: Springer
Published: 2008
Place of publication: Berlin
Language: eng
Number of pages: 430
ISBN-13: 9783540883869
Subjects: Automatic theorem proving -- Congresses
Genres: Congresses
Notes: International conference proceedings.

Includes bibliographical references and index.