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
所蔵情報: loading…
2.

図書
図書
2. Verification, model checking, and abstract interpretation : 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003 : proceedings
Lenore D. Zuck ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003
シリーズ名: Lecture notes in computer science ; 2575
所蔵情報: loading…