Showing 1 - 3 results of 3 for search 'Zhang, Wenhui, 1963-', query time: 0.09s Refine Results
  1. 1
    Automated technology for verification and analysis 4th international symposium, ATVA 2006, Beijing, China, October 23-26, 2006 : proceedings /

    Automated technology for verification and analysis 4th international symposium, ATVA 2006, Beijing, China, October 23-26, 2006 : proceedings /

    Published 2006
    Other Authors:
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  2. 2
    Automated technology for verification and analysis 4th international symposium, ATVA 2006, Beijing, China, October 23-26, 2006 : proceedings /

    Automated technology for verification and analysis 4th international symposium, ATVA 2006, Beijing, China, October 23-26, 2006 : proceedings /

    Published 2006
    Other Authors:
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  3. 3
    Dependable software engineering : theories, tools, and applications : 7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021, Proceedings /

    Dependable software engineering : theories, tools, and applications : 7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021, Proceedings /

    Published 2021
    Other Authors:
    Full Text (via Springer)
    Conference Proceeding eBook
    Save to List
    Saved in:
Search Tools: RSS Feed – Save Search