Formal Methods and Testing: An Outcome of the FORTEST Network. Revised Selected Papers

Robert M. Hierons , Jonathan P. Bowen , Mark Harman