Ogawa, Mizuhito books & textbook
Automated Technology for Verification and Analysis: 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings (Programming and Software Engineering)
Van Hung, Dang Ogawa, Mizuhito
Springer /2013-09-11 Paperback / 542 Pages
isbn-10: 3319024434 / isbn-13: 9783319024431