Osman Hasan · 3 obras en el catálogoObrasIntelligent Computer MathematicsFFormal Analysis of Future Energy Systems Using Interactive TFormal Analysis of Future Energy Systems Using Interactive Theorem ProvingFFormal Techniques for Safety-Critical SystemsFormal Techniques for Safety-Critical Systems
FFormal Analysis of Future Energy Systems Using Interactive TFormal Analysis of Future Energy Systems Using Interactive Theorem Proving
