Search Results - Ogawa, Mizuhito
- Showing 1 - 1 results of 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, 2013Other Authors:Description: 1 online resource (xiv, 528 pages) : illustrations (some color).Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
Conference Proceeding eBook