Concrete Semantics
type: Item
instance of: scholarly article
title: Concrete Semantics
zbMATH Open document ID: 1410.68004
DOI: 10.1007/978-3-319-10542-0
author: Tobias Nipkow
author: Gerwin Klein
publication date: 2014-10-23T00:00:00Z
Mathematics Subject Classification ID: 68-01
Mathematics Subject Classification ID: 68N15
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 6360948
describes a project that uses: Isabelle/HOL
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1007/978-3-319-10542-0
OpenAlex ID: W4250850800
description: scientific article