言語
Hu, Alan J.
概観
| 著作: | 1 作品に 1 出版物中に 1 言語 | |
|---|---|---|
タイトル
Computer aided verification :10th International Conference, CAV'98, Vancouver, BC, Canada, June 28 - July 2, 1998 : proceedings /
…で:
CAV'98 (Conference)1998 :; Hu, Alan J.; Vardi, Moshe Y.
(言語・文字資料 (印刷物))