scientific article
From MaRDI portal
Publication:2722018
zbMath0966.68562MaRDI QIDQ2722018
Jeroen Scheerder, Mark van den Brand
Publication date: 11 July 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Computing methodologies and applications (68U99) Abstract data types; algebraic specification (68Q65)
Related Items (3)
Manipulating algebraic specifications with term-based and graph-based representations ⋮ Unnamed Item ⋮ CASL: the Common Algebraic Specification Language.
Uses Software
This page was built for publication: