Automated technology for verification and analysis : 4th international symposium, ATVA 2006 : Beijing, China, October 23-26, 2006 : proceedings. : Oct 2006, Beijing, China. (Lecture Notes in Computer Science ; 4218)
Automated technology for verification and analysis : 4th international symposium, ATVA 2006 : Beijing, China, October 23-26, 2006 : proceedings. : Oct 2006, Beijing, China.