Anne E. Haxthausen · 2 obras en el catálogoObrasApplicable Formal Methods for Safe Industrial ProductsFFormal Methods for Industrial Critical SystemsFormal Methods for Industrial Critical Systems