Formal Methods: Foundations and Applications 2 contributors - Paperback £40.49 was £44.99Find out more