scientific article; zbMATH DE number 4115946

MaRDI QIDQ4730765zbMATH OpenFDO

Authors Hartmut Ehrig

Publication date 1989

zbMATH Keywords

abstractalgebraic specificationdata typestransformations of specification

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Cited in

(1)

• Functorial theory of parameterized specifications in a general specification framework

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4730765)