Author

Kedar S. Namjoshi

2 books found

Cover of Hardware and Software: Verification and Testing

Hardware and Software: Verification and Testing

Kedar S. Namjoshi · First published 2011

Cover of Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Kedar S. Namjoshi · First published 2005 · Latest edition 2006