scientific article
From MaRDI portal
Publication:3851610
zbMath0418.68032MaRDI QIDQ3851610
Publication date: 1979
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
On correct refinement of programs ⋮ Specifications, models, and implementations of data abstractions ⋮ Algebraic implementation of abstract data types
This page was built for publication:
