Verification, Model Checking, and Abstract Interpretation 2 contributors - Paperback £69.99 Find out more