scientific article; zbMATH DE number 1995119
zbMATH Open1023.68537MaRDI QIDQ4431334FDOQ4431334
Authors: Amílcar Sernadas 
Publication date: 21 October 2003
Title of this publication is not available (Why is that?)
Research exposition (monographs, survey articles) pertaining to computer science (68-02) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Database theory (68P15) Specification and verification (program logics, model checking, etc.) (68Q60) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Abstract data types; algebraic specification (68Q65)
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 Q4431334)
