Luigia Petre · 4 obras en el catálogoObrasFormal Methods TeachingFFrom Action Systems to Distributed SystemsFrom Action Systems to Distributed SystemsIIntegrated Formal MethodsIntegrated Formal MethodsDDependability and Computer EngineeringDependability and Computer Engineering