scientific article; zbMATH DE number 1543051

zbMath0960.68112MaRDI QIDQ4520504

Philipp W. Kutter, Alfonso Pierantonio

Publication date: 26 February 2001

Full work available at URL: http://www.jucs.org/jucs_3_5/specification_oberon

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

formal specificationOberon

Mathematics Subject Classification ID

Theory of programming languages (68N15) Abstract data types; algebraic specification (68Q65)

Related Items (2)

Towards proving type safety of .NET CIL ⋮ Towards proving type safety of \(\mathrm{C}^{\#}\)

This page was built for publication: