FME '96: Industrial Benefit and Advances in Formal Methods | DealShopping Deutschland