Reading Length
Home
Speed Tests
Login
Kedar S. Namjoshi
Identifiers
Open Library
OL7201382A
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 Interpretation
7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings
Springer London, Limited
2005-01-01
Hardware and Software: Verification and Testing
5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers
Springer Berlin Heidelberg
2011-01-01
