Formal Methods for Industrial Critical Systems 2 contributors - Paperback £40.49 was £44.99Find out more