1.

図書
図書
1. Verification, model checking, and abstract interpretation : 5th International Conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings
Bernhard Steffen, Giorgia Levi (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004
シリーズ名: Lecture notes in computer science ; 2937
所蔵情報: loading…
2.

図書
図書
2. 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…
3.

図書
図書
3. 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…
4.

図書
図書
4. Verification, model checking, and abstract interpretation : 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005 : proceedings
Radhia Cousot (ed.)
出版情報: Berlin : Springer, c2005
シリーズ名: Lecture notes in computer science ; 3385
所蔵情報: loading…
5.

図書
図書
5. Verification, model checking, and abstract interpretation : 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006 : proceedings
E. Allen Emerson, Kedar S. Namjoshi (eds.)
出版情報: Berlin : Springer, c2006
シリーズ名: Lecture notes in computer science ; 3855
所蔵情報: loading…
6.

図書
図書
6. Verification, Model Checking, and Abstract Interpretation : 8th International Conference, VMCAI 2007 Nice, France, January 14-16, 2007 : proceedings
Byron Cook, Andreas Podelski (eds.)
出版情報: Berlin : Springer, c2007
シリーズ名: Lecture notes in computer science ; 4349
所蔵情報: loading…
7.

図書
図書
7. Verification, model checking, and abstract interpretation : 9th international conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008 : proceedings
Francesco Logozzo, Doron A. Peled, Lenore D. Zuck (eds.)
出版情報: Berlin : Springer, c2008
シリーズ名: Lecture notes in computer science ; 4905
所蔵情報: loading…