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

di ATVA 2011 (Simpósio), Bultan, Tevfik., Hsiung, Pao-Ann.
Pubblicazione 2011.