scientific article; zbMATH DE number 5668423
From MaRDI portal
Publication:3405587
zbMATH Open1181.68102MaRDI QIDQ3405587FDOQ3405587
Authors:
Publication date: 10 February 2010
Title of this publication is not available (Why is that?)
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of software (68N99)
Cited In (8)
- Extended Static Checking by Calculation Using the Pointfree Transform
- Type inference for set theory
- Transposing partial components--an exercise on coalgebraic refinement
- Invariant-driven specifications in Maude
- Abstract state machines: a unifying view of models of computation and of system design frameworks
- The connection between two ways of reasoning about partial functions
- Domain modelling: a foundation for software development
- Manifest domains: analysis and description
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3405587)
