warning: Invalid argument supplied for foreach() in /var/www/html/opc/sites/all/modules/xc/xc_search/searching/xc_search_block.inc on line 428.
1.

図書
図書
1. Automated technology for verification and analysis : Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005 : proceedings
Doron A. Peled, Yih-Kuen Tsay (eds.)
出版情報: Berlin : Springer, c2005
シリーズ名: Lecture notes in computer science ; 3707
所蔵情報: loading…
2.

図書
図書
2. Automated technology for verification and analysis : 4th international symposium, ATVA 2006, Beijing, China, October 23-26, 2006, proceedings
ed. Susanne Graf, Wenhui Zhang
出版情報: Berlin : Springer, 2006
シリーズ名: Lecture notes in computer science ; 4218
所蔵情報: loading…
3.

図書
図書
3. Automated technology for verification and analysis : 5th international symposium, ATVA 2007, Tokyo, Japan, October 22-25, 2007 : proceedings
Kedar S. Namjoshi ... [et al.] (eds.)
出版情報: Berlin : Springer, c2007
シリーズ名: Lecture notes in computer science ; 4762
所蔵情報: loading…