scientific article
From MaRDI portal
Publication:3672054
zbMath0522.08001MaRDI QIDQ3672054
Publication date: 1983
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Relational systems, laws of composition (08A02)
Related Items (3)
Structured algebraic specifications: A kernel language ⋮ Equational specification of partial higher-order algebras ⋮ A systematic study of models of abstract data types
This page was built for publication:
