Gerwin Klein · 2 obras en el catálogoObrasCConcrete SemanticsConcrete SemanticsIInteractive Theorem ProvingInteractive Theorem Proving