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.