scientific article
From MaRDI portal
Publication:2997336
zbMath1224.68021MaRDI QIDQ2997336
Publication date: 6 May 2011
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Theory of compilers and interpreters (68N20) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
