"Tests and Proofs: 4th International Conference, TAP 2010, Malaga, Spain, July 1-2, 2010, Proceedings (Lecture Notes in Computer Science Programming and Software Engineering)" - читать интересную книгу автора (Gordon Fraser, Angelo Gargantini)