Malik, Sharad.
概要
作品: | 2 作品在 0 項出版品 0 種語言 |
---|
書目資訊
Computer Aided Verification20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings /
by:
(1998 :); Gupta, Aarti.; Malik, Sharad.; SpringerLink (Online service)
(書目-電子資源)