Automated technology for verification and analysis 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011 : proceedings /

由 ATVA 2011 (Simpósio), Bultan, Tevfik., Hsiung, Pao-Ann.
出版 2011.