scientific article
From MaRDI portal
Publication:3038598
zbMath0525.68007MaRDI QIDQ3038598
Publication date: 1983
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Data structures (68P05)
Related Items (4)
On sufficient completeness of conditional specifications ⋮ Parameter-preserving data type specifications ⋮ Functorial theory of parameterized specifications in a general specification framework ⋮ Confluence without termination via parallel critical pairs
This page was built for publication:
