scientific article; zbMATH DE number 3633670

MaRDI QIDQ4194409zbMATH OpenFDO

Authors Manfred Broy, R. Gnatz, Martin Wirsing

Publication date 1979

zbMATH Keywords

Program DesignSpecification Language

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Data structures (68P05) Abstract data types; algebraic specification (68Q65)

Cited in

(1)

• Program development: From enumeration to backtracking

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