Kaisa Sere · 3 obras en el catálogoObrasIIntegrated Formal MethodsIntegrated Formal MethodsPProgram Development by RefinementProgram Development by RefinementDDependability and Computer EngineeringDependability and Computer Engineering