1.

図書
図書
1. Computer aided verification : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings
Ed Brinksma, Kim Guldstrand Larsen (eds.)
出版情報: Berlin : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2404
所蔵情報: loading…
2.

図書
図書
2. Computer aided verification : 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings
Gérard Berry, Hubert Comon, Alain Finkel (eds.)
出版情報: Berlin : Springer, c2001
シリーズ名: Lecture notes in computer science ; 2102
所蔵情報: loading…