scientific article
From MaRDI portal
Publication:3917479
zbMath0465.68005MaRDI QIDQ3917479
Publication date: 1981
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05) General topics in the theory of software (68N01)
Related Items (6)
Structured algebraic specifications: A kernel language ⋮ Toward formal development of programs from algebraic specifications: Implementations revisited ⋮ Specification of abstract dynamic-data types: A temporal logic approach ⋮ Complexity of algebraic implementations for abstract data types ⋮ Semantics of algorithmic languages ⋮ A constructive method for abstract algebraic software specification
This page was built for publication:
