Reading Length
Home
Speed Tests
Login
Yoshio Okamura
Identifiers
Open Library
OL10230624A
Books by Yoshio Okamura
Total count: 1
Automated Technology for Verification and Analysis
5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings
Springer London, Limited
2007-01-01
