Book

Formal methods and testing

by J. P. Bowen, Mark Harman, Robert M. Hierons