scientific article
From MaRDI portal
Publication:3635984
zbMath1170.68009MaRDI QIDQ3635984
Lawrence S. Moss, Stefan Milius
Publication date: 30 June 2009
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65) Theories (e.g., algebraic theories), structure, and semantics (18C10) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (1)
This page was built for publication:
