Kedar Namjoshi

No bio available. Add one in Open Library.

Books by Kedar Namjoshi (50 max)

+ shelf+ list

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

2007

Kedar Namjoshi, Tomohiro Yoneda, Teruo Higashino, Yoshio Okamura

+ shelf+ list

Static Analysis 28th International Symposium, SAS 2021, Chicago, il, USA, October 17-19, 2021, Proceedings

2021

Cezara Dragoi, Suvam Mukherjee, Kedar Namjoshi