Kirsten Winter · 2 obras en el catálogoObrasIntegrated Formal MethodsMModel Checking Abstract State MachinesModel Checking Abstract State Machines