Automated technology for verification and analysis 7th onternational symposium, ATVA 2009, Macao, China, October 14-16, 2009 : proceedings - ATVA 2009 (2009 : Macau, China); Liu, Zhiming; Ravn, Anders P.; SpringerLink (Online service) (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009)
Keywords: Automatic theorem proving -- Congresses; Artificial intelligence -- Congresses; Programming Languages, Compilers, Interpreters; Computer Science; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Algorithm Analysis and Problem Complexity; Programming Techniques; Software Engineering