1.

図書
図書
1. Verification, model checking, and abstract interpretation : third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002 : revised papers
Agostino Cortesi (ed.)
出版情報: Berlin : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2294
所蔵情報: 図書館, 研究室
2.

図書
図書
2. Graph transformation : First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002 : Proceedings
Andrea Corradini ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2505
所蔵情報: 図書館, 研究室