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

Tekijä ATVA 2011 (Simpósio), Bultan, Tevfik., Hsiung, Pao-Ann.
Julkaistu 2011.