CAV (Conference) (2005 :)
概要
| 作品: | 1 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Computer Aided Verification = 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings /
by:
CAV (Conference) (2005 :); Etessami, Kousha.; Rajamani, Sriram K.; SpringerLink (Online service)
(書目-語言資料,印刷品)