Automated technology for verification and analysis : 5th international symposium, ATVA 2007 : Tokyo, Japan, October 22-25, 2007 : proceedings. : Oct 2007, Tokyo, Japan. (Lecture Notes in Computer Science ; 4762)
Automated technology for verification and analysis : 5th international symposium, ATVA 2007 : Tokyo, Japan, October 22-25, 2007 : proceedings. : Oct 2007, Tokyo, Japan.