scientific article
From MaRDI portal
Publication:3805884
zbMath0657.68017MaRDI QIDQ3805884
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)
This page was built for publication:
