"Automated Technology for Verification and Analysis, 6 conf., ATVA 2008" - читать интересную книгу автора