scientific article; zbMATH DE number 2012390
From MaRDI portal
Publication:4437808
zbMATH Open1026.68570MaRDI QIDQ4437808
Publication date: 15 December 2003
Title of this publication is not available (Why is that?)
Abstract data types; algebraic specification (68Q65) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
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 Q4437808)