scientific article
From MaRDI portal
Publication:3995276
zbMath1086.68521MaRDI QIDQ3995276
Publication date: 17 September 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60) Research exposition (monographs, survey articles) pertaining to computer science (68-02)
Related Items (7)
Compatibility problems in the development of algebraic module specifications ⋮ Functorial semantics of first-order views ⋮ A decade of TAPSOFT ⋮ An axiomatic approach to structuring specifications ⋮ On the algebra of structured specifications ⋮ CASL: the Common Algebraic Specification Language. ⋮ OBSCURE, a specification language for abstract data types
This page was built for publication:
