Automated technology for verification and analysis 5th international symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 : proceedings - ATVA 2007 (2007 : Tokyo, Japan); Namjoshi, Kedar S.; SpringerLink (Online service) (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007)
Includes bibliographical references and index.
Also issued online.
Keywords: Automatic theorem proving -- Congresses