scientific article
From MaRDI portal
Publication:3345753
zbMath0552.68015MaRDI QIDQ3345753
Donald Sannella, Andrzej Tarlecki
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (8)
Structured algebraic specifications: A kernel language ⋮ On the existence of free models in abstract algebraic institutions ⋮ A general framework for modular implementations of modular system specifications ⋮ On observational equivalence and algebraic specification ⋮ Toward formal development of programs from algebraic specifications: Implementations revisited ⋮ Quasi-varieties in abstract algebraic institutions ⋮ Functorial theory of parameterized specifications in a general specification framework ⋮ Specifications in an arbitrary institution
This page was built for publication:
