Malik, Sharad.
Overview
Works: | 2 works in 0 publications in 0 languages |
---|
Titles
Computer Aided Verification20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings /
by:
(1998 :); Gupta, Aarti.; Malik, Sharad.; SpringerLink (Online service)
(Electronic resources)