Automated technology for verification and analysis
Subtitle: 9th international symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011 : proceedings
By: Tevfik Bultan, Pao-Ann Hsiung (eds.).
Contributors: Bultan, Tevfik; Hsiung, Pao-Ann
Series: Lecture notes in computer science -- 6996; LNCS sublibrary. SL 2, Programming and software engineering
Publisher: Springer
Published: 2011
Place of publication: Heidelberg; New York
Language: eng
Number of pages: 532
ISBN-13: 9783642243714; 9783642243721
Subjects: Congresses; Automatic theorem proving
Notes: Includes bibliographical references and author index.