scientific article; zbMATH DE number 2087344
From MaRDI portal
Publication:4738114
zbMath1065.68033MaRDI QIDQ4738114
Henk Doornbos, Roland C. Backhouse
Publication date: 11 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2297/22970203.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)
This page was built for publication:
