Automated Technology for Verification and Analysis : Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings - ATVA 2005 (2005 : Taipei, Taiwan); Peled, Doron A.; Tsay, Yih-Kuen; SpringerLink (Online service) (Berlin Heidelberg : Springer-Verlag GmbH., 2005)
Keywords: Automatic theorem proving -- Congresses; Computer Science