Browse
FAQ

Author

Mizuhito Ogawa

1 book found

Cover of Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

Dang Van Hung, Mizuhito Ogawa · First published 2013