Showing 1 - 3 results of 3 for search 'Peled, Doron A.', query time: 0.01s Refine Results
  1. 1
    Automated Technology for Verification and Analysis Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings
    by Peled, Doron A.
    Published in Springer e-books (2005)
    Get full text
    eBook
  2. 2
    Software reliability methhods
    by Peled, Doron A. 1962-
    Published 2001
    Book
  3. 3
    Verification, Model Checking, and Abstract Interpretation 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings /
    by Logozzo, Francesco
    Published in Springer eBooks (2008)
    Other Authors: “...Peled, Doron A....”
    Get full text
    eBook
Search Tools: Get RSS Feed