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 /

    Automated technology for verification and analysis : 5th international symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 proceedings / by Namjoshi, Kedar S., Yoneda, Tomohiro, Higashino, Teruo

    Published 2007
    Get full text
  2. 2
    Verification, model checking, and abstract interpretation : 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings /

    Verification, model checking, and abstract interpretation : 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings / by VMCAI 2006 (2006 : Charleston, S.C.), Emerson, E. Allen, Namjoshi, Kedar S.

    Published 2006

Search Tools: