Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 3 contributors - Paperback £44.99 Find out more