Verification and Evaluation of Computer and Communication Systems 4 contributors - Paperback £49.99 Find out more