close
1.

図書
図書
1. Computer aided verification : Fourth International Workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992 : proceedings (: us ; : gw)
G.v. Bochmann, D.K. Probst (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1993
シリーズ名: Lecture notes in computer science ; 663
所蔵情報: loading…
2.

図書
図書
2. Computer aided verification : 5th International Conference, CAV '93, Elounda, Greece, June 28-July 1, 1993 : proceedings (: gw ; : us)
Costas Courcoubetis (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1993
シリーズ名: Lecture notes in computer science ; 697
所蔵情報: loading…