Kedar S. Namjoshi

Kedar S. Namjoshi

3 books in the database

Books

Hardware and Software: Verification and TestingKedar S. Namjoshi

Hardware and Software: Verification and Testing

Kedar S. Namjoshi · 2011

Verification, Model Checking, and Abstract InterpretationKedar S. Namjoshi

Verification, Model Checking, and Abstract Interpretation

Kedar S. Namjoshi · 2007

Verification, Model Checking, and Abstract Interpretation (vol. # 3855)Kedar S. Namjoshi

Verification, Model Checking, and Abstract Interpretation (vol. # 3855)

Kedar S. Namjoshi · 2006