Verification, Model Checking, and Abstract Interpretation 3 contributors - Paperback £54.99 Find out more