Tomohiro Yoneda

• Automated Technology for Verification and Analysis