scientific article; zbMATH DE number 8786

MaRDI QIDQ3971275zbMATH OpenFDO

Authors Jacques Loeckx

Publication date 25 June 1992

zbMATH Keywords

algorithmic specification methodOBSCUREspecification language

Mathematics Subject Classification ID

Theory of software (68N99) Abstract data types; algebraic specification (68Q65)

Recommendations

• OBSCURE, a specification language for abstract data types
• scientific article; zbMATH DE number 4084991
• scientific article; zbMATH DE number 3936504
• scientific article; zbMATH DE number 1543051

Cited in

(3)

• OBSCURE, a specification language for abstract data types
• scientific article; zbMATH DE number 3936504 (Why is no real title available?)
• scientific article; zbMATH DE number 4084991 (Why is no real title available?)

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 Q3971275)