"Formal Methods and Testing: An Outcome of the FORTEST Network. Revised Selected Papers" - читать интересную книгу автора (Robert M. Hierons, Jonathan P. Bowen, Mark Harman)