Benjamin Aziz · 2 obras en el catálogoObrasEngineering Secure Internet of Things SystemsFFormal Analysis by Abstract InterpretationFormal Analysis by Abstract Interpretation