1.

図書
図書
1. Computer aided verification : 3rd international workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991 : proceedings (: Berlin ; : New York)
K.G. Larsen, A. Skou (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1992
シリーズ名: Lecture notes in computer science ; 575
所蔵情報: 図書館
2.

図書
図書
2. Computer-aided verification : 2nd International Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990 : proceedings (: Berlin ; : New York)
E.M. Clarke, R.P. Kurshan, (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1991
シリーズ名: Lecture notes in computer science ; 531
所蔵情報: 図書館