Showing 1 - 2 results of 2 for search 'Namjoshi, Kedar S.', query time: 0.02s Refine Results
  1. 1
    Automated Technology for Verification and Analysis 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings /
    by Namjoshi, Kedar S.
    Published in Springer e-books (2007)
    Get full text
    eBook
  2. 2
    Verification, Model Checking, and Abstract Interpretation (vol. # 3855) 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings
    by Emerson, E. Allen
    Published in Springer e-books (2006)
    Other Authors: “...Namjoshi, Kedar S....”
    Get full text
    eBook
Search Tools: Get RSS Feed