- ECU Libraries Catalog

Start Over

You searched for: author_facet Namjoshi, Kedar S.

Showing 1 - 4 of 4 results

Search Results

Cover image for Hardware and software

Hardware and software

by International Haifa Verification Conference
2011
Format: Electronic

Location
Access Content Online

Cover image for Automated technology for verification and analysis

Automated technology for verification and analysis

by ATVA 2007
2007
Format: Electronic

Location
Access Content Online

Cover image for Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

by Namjoshi, Kedar S.
2006
Format: Electronic

Location
Access Content Online

Cover image for Verification, model checking, and abstract interpretation

Verification, model checking, and abstract interpretation

by VMCAI 2006
2006
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA76.76.V47 V53 2006	✔ Available