👤

Kedar S. Namjoshi

2 books

Books by Kedar S. Namjoshi

Hardware and Software: Verification and Testing
Hardware and Software: Verification and Testing
2008
Verification, Model Checking, and Abstract Interpretation (vol. # 3855)
Verification, Model Checking, and Abstract Interpretation (vol. # 3855)
2006