مؤلف: Tomohiro Yoneda

Teruo Higashino & Kedar Namjoshi: Automated Technology for Verification and Analysis