scientific article
From MaRDI portal
Publication:3405587
zbMath1181.68102MaRDI QIDQ3405587
No author found.
Publication date: 10 February 2010
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of software (68N99)
Related Items (7)
Invariant-driven specifications in Maude ⋮ Transposing partial components--an exercise on coalgebraic refinement ⋮ Manifest domains: analysis and description ⋮ The connection between two ways of reasoning about partial functions ⋮ Abstract state machines: a unifying view of models of computation and of system design frameworks ⋮ Extended Static Checking by Calculation Using the Pointfree Transform ⋮ Type inference for set theory
This page was built for publication:
