scientific article

zbMath0492.68024MaRDI QIDQ3954806

Manfred Broy, Martin Wirsing

Publication date: 1981

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

zbMATH Keywords

algebraic specification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05) General topics in the theory of software (68N01)

Related Items

Structured algebraic specifications: A kernel language ⋮ Equational specification of partial higher-order algebras ⋮ Partial abstract types