Yoshio Okamura

• Automated Technology for Verification and Analysis