"Automated Technology for Verification and Analysis: 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings" - читать интересную книгу автора (Susanne Graf, Wenhui Zhang)