scientific article; zbMATH DE number 2079806
From MaRDI portal
Publication:4471907
zbMath1043.68525MaRDI QIDQ4471907
Hubert Baumeister, A. V. Zamulin
Publication date: 30 July 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/1945/19450003.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Abstract data types; algebraic specification (68Q65) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (2)
An Institution for Imperative RSL Specifications ⋮ Relating CASL with other specification languages: the institution level.
This page was built for publication:
