Kedar S. Namjoshi
Identifiers
- Open LibraryOL7201382A
Top Subjects
- Computer programs (1)
- Computer science (1)
- Logic design (1)
- Software engineering (1)
Books by Kedar S. Namjoshi
Total count: 2
-
Verification, Model Checking, and Abstract Interpretation7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, ProceedingsSpringer London, Limited2005-01-01
Hardware and Software: Verification and Testing5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected PapersSpringer Berlin Heidelberg2011-01-01