Kedar Namjoshi

Identifiers

Open LibraryOL9932331A

Books by Kedar Namjoshi

Total count: 2

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

Springer London, Limited2007-01-01
Static Analysis28th International Symposium, SAS 2021, Chicago, il, USA, October 17-19, 2021, Proceedings

Springer International Publishing AG2021-01-01