Search Results - Ogawa, Mizuhito

  • Showing 1 - 1 results of 1
Refine Results
  1. 1

    Automated technology for verification and analysis : 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings by ATVA (Symposium) Hanoi, Vietnam), SpringerLink (Online service)

    Published: Springer, 2013
    Description: 1 online resource (xiv, 528 pages) : illustrations (some color).
    Other Authors:
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Automated technology for verification and analysis : 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings

Search Tools: