Author Search Results

1

Cover Image

Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings /

Published 2006

Other Authors: “...Namjoshi, Kedar S....”
View full text

Electronic eBook

2

Cover Image

Hardware and Software: Verification and Testing 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers /

Published 2011

Other Authors: “...Namjoshi, Kedar....”
View full text

Electronic eBook

3

Cover Image

Automated Technology for Verification and Analysis 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings /

Published 2007

Other Authors: “...Namjoshi, Kedar....”
View full text

Electronic eBook