MPG.eBooks - Author Search Results

Cover Image

1

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

Published 2006

Springer Berlin Heidelberg

Other Authors: “...Namjoshi, Kedar S....”

Cover Image

2

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

Published 2011

Springer Berlin Heidelberg

Other Authors: “...Namjoshi, Kedar...”

Cover Image

3

Static Analysis : 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021, Proceedings

Published 2021

Springer International Publishing

Other Authors: “...Namjoshi, Kedar...”

Cover Image

4

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

Published 2007

Springer Berlin Heidelberg

Other Authors: “...Namjoshi, Kedar...”