Ralf Steinbrüggen · 6 obras en el catálogoObrasCCalculational system designCalculational system designModellbildung in der InformatikFoundations of secure computationModellbildung in der InformatikPProof and System-ReliabilityProof and System-ReliabilityAAlgebraische Ausdrücke, Formen, IdentitätenAlgebraische Ausdrücke, Formen, Identitäten