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

av ATVA 2011 (Simpósio), Bultan, Tevfik., Hsiung, Pao-Ann.
Publicerad 2011.