"Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings (Lecture ... Programming and Software Engineering)" - читать интересную книгу автора (Zhiming Liu, Anders P. Ravn)