"Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings" - читать интересную книгу автора (Thomas Ball, Robert B. Jones)