Applicable Formal Methods for Safe Industrial Products 3 contributors - Paperback £59.99 Find out more