Methodology for the Specification of Software Systems: From Formal Requirements to Algebraic Design Specifications

• Authors:

• Hartmut Ehrig;Werner Fey

• Affiliations:

• -;-

• Venue:
• GI - 11. Jahrestagung in Verbindung mit Third Conference of the European Co-operation in Informatics (ECI)
• Year:
• 1981