"Automated Technology for Verification and Analysis, 5 conf., ATVA 2007" - читать интересную книгу автора (Kedar Namjoshi, Tomohiro Yoneda, Teruo Higashino, Yoshio Okamura)