1.

図書
図書
1. Tools and algorithms for the construction and analysis of systems : 6th International Conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings
Susanne Graf, Michael Schwartzbach (eds.)
出版情報: Berlin : Springer, c2000
シリーズ名: Lecture notes in computer science ; 1785
所蔵情報: 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…