Showing 1 - 3 results of 3 for search 'Namjoshi, Kedar S.', query time: 0.02s Refine Results
  1. 1
    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.…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Hardware and Software: Verification and Testing 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers /
    Published 2011
    Other Authors: “…Namjoshi, Kedar…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Automated Technology for Verification and Analysis 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings /
    Published 2007
    Other Authors: “…Namjoshi, Kedar S.…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search