FME '94: Industrial Benefit of Formal Methods | DealShopping Deutschland